Anne is blue. Charlie is nice. Erin is blue. Harry is green. All green people are nice. If Harry is nice then Harry is white.
Anne is blue.
("Anne" "is" "blue" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
All green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If Harry is nice then Harry is white.
((("Harry" "is" "nice" "+")) -> ("Harry" "is" "white" "+"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Charlie is not nice.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "nice" "-")
triple2
Harry is nice.
True
2
proof
[(((triple4) -> rule1))]
("Harry" "is" "nice" "+")
((triple4) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple4) -> rule1))]
("Harry" "is" "nice" "-")
((triple4) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
True
3
proof
[(((((triple4) -> rule1)) -> rule2))]
("Harry" "is" "white" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not white.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule2))]
("Harry" "is" "white" "-")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "nice" "-")
Anne is nice.
Unknown
rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Anne is blue.[(triple1)] Charlie is nice.[(triple2)] Erin is blue.[(triple3)] Harry is green.[(triple4)] @1: Harry is nice.[(((triple4) -> rule1))] @2: Harry is white.[(((((triple4) -> rule1)) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
Harry is green.
("Harry" "is" "green" "+")
triple4
Harry is nice.
("Harry" "is" "nice" "+")
((triple4) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2