Anne is big. Anne is not quiet. Anne is young. Charlie is big. Charlie is quiet. Charlie is white. Gary is quiet. Gary is white. Harry is furry. Harry is nice. Harry is not white. Harry is not young. If someone is red then they are furry. White people are furry. If Anne is young and Anne is red then Anne is furry. All young people are nice. If someone is big and furry then they are nice. All white, nice people are young. If Anne is white then Anne is quiet. Young, red people are quiet.
Anne is big.
("Anne" "is" "big" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is young.
("Anne" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not white.
("Harry" "is" "white" "-")
Harry is not young.
("Harry" "is" "young" "-")
If someone is red then they are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
White people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If Anne is young and Anne is red then Anne is furry.
((("Anne" "is" "young" "+") ("Anne" "is" "red" "+")) -> ("Anne" "is" "furry" "+"))
All young people are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and furry then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
All white, nice people are young.
((("someone" "is" "white" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If Anne is white then Anne is quiet.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "quiet" "+"))
Young, red people are quiet.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
Anne is young.
True
1
proof
[(triple3)]
("Anne" "is" "young" "+")
triple3
Charlie is not white.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "white" "-")
triple6
Charlie is furry.
True
2
proof
[(((triple6) -> rule2))]
("Charlie" "is" "furry" "+")
((triple6) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple8) -> rule2))]
("Gary" "is" "furry" "-")
((triple8) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Charlie is nice.
True
4
proof
[(((triple4 ((triple6) -> rule2)) -> rule5))]
("Charlie" "is" "nice" "+")
((triple4 ((triple6) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is not nice.
False
4
inv-proof
[(((triple4 ((triple6) -> rule2)) -> rule5))]
("Charlie" "is" "nice" "-")
((triple4 ((triple6) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is young.
True
6
proof
[(((triple6 ((triple4 ((triple6) -> rule2)) -> rule5)) -> rule6))]
("Charlie" "is" "young" "+")
((triple6 ((triple4 ((triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is not young.
False
6
inv-proof
[(((triple6 ((triple4 ((triple6) -> rule2)) -> rule5)) -> rule6))]
("Charlie" "is" "young" "-")
((triple6 ((triple4 ((triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Gary is not young.
Unknown
inv-rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is nice.
Unknown
rconc
[@3: Gary is nice.[CWA. Example of deepest failure = (rule4 <- rule6 <- rule5 <- FAIL)]]
("Gary" "is" "nice" "+")
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "furry" "-")
Harry is quiet.
Unknown
rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Harry" "is" "quiet" "+")
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is big.[(triple1)] Anne is not quiet.[(triple2)] Anne is young.[(triple3)] Charlie is big.[(triple4)] Charlie is quiet.[(triple5)] Charlie is white.[(triple6)] Gary is quiet.[(triple7)] Gary is white.[(triple8)] Harry is furry.[(triple9)] Harry is nice.[(triple10)] Harry is not white.[(triple11)] Harry is not young.[(triple12)] @1: Anne is nice.[(((triple3) -> rule4))] Charlie is furry.[(((triple6) -> rule2))] Gary is furry.[(((triple8) -> rule2))] @2: Charlie is nice.[(((triple4 ((triple6) -> rule2)) -> rule5))] @3: Charlie is young.[(((triple6 ((triple4 ((triple6) -> rule2)) -> rule5)) -> rule6))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Gary is white.
("Gary" "is" "white" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is not white.
("Harry" "is" "white" "-")
triple11
Harry is not young.
("Harry" "is" "young" "-")
triple12
Anne is nice.
("Anne" "is" "nice" "+")
((triple3) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple6) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple8) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple4 ((triple6) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((triple6 ((triple4 ((triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3