Anne is green. Anne is young. Dave is furry. Dave is green. Dave is young. Gary is furry. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is round. Gary is not young. All green people are furry. If someone is round and furry then they are quiet. If someone is quiet and round then they are nice. All green, quiet people are nice. If Dave is not red then Dave is young. If Anne is furry and Anne is quiet then Anne is not green.
Anne is green.
("Anne" "is" "green" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is not young.
("Gary" "is" "young" "-")
All green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is round and furry then they are quiet.
((("someone" "is" "round" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
If someone is quiet and round then they are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
All green, quiet people are nice.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
If Dave is not red then Dave is young.
((("Dave" "is" "red" "~")) -> ("Dave" "is" "young" "+"))
If Anne is furry and Anne is quiet then Anne is not green.
((("Anne" "is" "furry" "+") ("Anne" "is" "quiet" "+")) -> ("Anne" "is" "green" "-"))
Gary is red.
True
1
proof
[(triple10)]
("Gary" "is" "red" "+")
triple10
Gary is young.
False
1
inv-proof
[(triple12)]
("Gary" "is" "young" "+")
triple12
Anne is furry.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "furry" "-")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not nice.
Unknown
inv-rconc
[@2: Anne is nice.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Anne" "is" "nice" "-")
Dave is nice.
Unknown
rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Dave" "is" "nice" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Anne is green.[(triple1)] Anne is young.[(triple2)] Dave is furry.[(triple3 OR ((triple4) -> rule1))] Dave is green.[(triple4)] Dave is young.[(triple5)] Gary is furry.[(triple6 OR ((triple7) -> rule1))] Gary is green.[(triple7)] Gary is nice.[(triple8 OR ((triple7 triple9) -> rule4) OR ((triple9 triple11) -> rule3) OR ((triple7 ((triple11 triple6) -> rule2)) -> rule4) OR ((((triple11 triple6) -> rule2) triple11) -> rule3) OR ((triple7 ((triple11 ((triple7) -> rule1)) -> rule2)) -> rule4) OR ((((triple11 ((triple7) -> rule1)) -> rule2) triple11) -> rule3))] Gary is not young.[(triple12)] Gary is quiet.[(triple9 OR ((triple11 triple6) -> rule2) OR ((triple11 ((triple7) -> rule1)) -> rule2))] Gary is red.[(triple10)] Gary is round.[(triple11)] @1: Anne is furry.[(((triple1) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
((triple4) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
((triple7) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
((triple7 triple9) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple9 triple11) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple7 ((triple11 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple11 triple6) -> (rule2 % int2)) triple11) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((triple7 ((triple11 ((triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple11 ((triple7) -> (rule1 % int3))) -> (rule2 % int2)) triple11) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is not young.
("Gary" "is" "young" "-")
triple12
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
((triple11 triple6) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple11 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple11
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1