Anne is blue. Anne is furry. Anne is not young. Charlie is quiet. Gary is blue. Gary is furry. Gary is round. All furry people are round. Round people are big. Quiet people are not furry. Big people are not quiet. Blue, big people are not young. If Anne is quiet then Anne is young.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not young.
("Anne" "is" "young" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is round.
("Gary" "is" "round" "+")
All furry people are round.
((("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
Round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Quiet people are not furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "-"))
Big people are not quiet.
((("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "-"))
Blue, big people are not young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "-"))
If Anne is quiet then Anne is young.
((("Anne" "is" "quiet" "+")) -> ("Anne" "is" "young" "+"))
Gary is round.
True
1
proof
[(triple7 OR ((triple6) -> rule1))]
("Gary" "is" "round" "+")
triple7
((triple6) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Anne is not furry.
False
1
inv-proof
[(triple2)]
("Anne" "is" "furry" "-")
triple2
Anne is round.
True
2
proof
[(((triple2) -> rule1))]
("Anne" "is" "round" "+")
((triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Charlie is furry.
False
2
inv-proof
[(((triple4) -> rule3))]
("Charlie" "is" "furry" "+")
((triple4) -> (rule3 % int1))
Charlie is not furry.
("Charlie" "is" "furry" "-")
int1
Anne is big.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("Anne" "is" "big" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is not big.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("Anne" "is" "big" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is not quiet.
True
4
proof
[(((((((triple2) -> rule1)) -> rule2)) -> rule4))]
("Anne" "is" "quiet" "-")
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is quiet.
False
4
inv-proof
[(((((((triple2) -> rule1)) -> rule2)) -> rule4))]
("Anne" "is" "quiet" "+")
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Charlie is not big.
Unknown
inv-rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "+")
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is not young.[(triple3 OR ((triple1 ((((triple2) -> rule1)) -> rule2)) -> rule5))] Charlie is quiet.[(triple4)] Gary is blue.[(triple5)] Gary is furry.[(triple6)] Gary is round.[(triple7 OR ((triple6) -> rule1))] @1: Anne is round.[(((triple2) -> rule1))] Charlie is not furry.[(((triple4) -> rule3))] Gary is big.[(((triple7) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] @2: Anne is big.[(((((triple2) -> rule1)) -> rule2))] Gary is not quiet.[(((((triple7) -> rule2)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2)) -> rule4))] Gary is not young.[(((triple5 ((triple7) -> rule2)) -> rule5) OR ((triple5 ((((triple6) -> rule1)) -> rule2)) -> rule5))] @3: Anne is not quiet.[(((((((triple2) -> rule1)) -> rule2)) -> rule4))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is not young.
("Anne" "is" "young" "-")
triple3
((triple1 ((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Anne is not young.
("Anne" "is" "young" "-")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7
((triple6) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
((triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Charlie is not furry.
("Charlie" "is" "furry" "-")
((triple4) -> (rule3 % int1))
Charlie is not furry.
("Charlie" "is" "furry" "-")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple7) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Gary is not quiet.
("Gary" "is" "quiet" "-")
((((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not young.
("Gary" "is" "young" "-")
((triple5 ((triple7) -> (rule2 % int2))) -> (rule5 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((triple5 ((((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Anne is not quiet.
("Anne" "is" "quiet" "-")
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3