Anne is big. Anne is blue. Anne is furry. Anne is nice. Anne is red. Anne is round. Anne is white. Charlie is big. Charlie is blue. Charlie is nice. Charlie is red. Charlie is round. Charlie is white. Gary is blue. Gary is red. Gary is white. All red, round people are big.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
All red, round people are big.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Charlie is blue.
True
1
proof
[(triple9)]
("Charlie" "is" "blue" "+")
triple9
Anne is not red.
False
1
inv-proof
[(triple5)]
("Anne" "is" "red" "-")
triple5
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Anne is big.[(triple1 OR ((triple5 triple6) -> rule1))] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is nice.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7)] Charlie is big.[(triple8 OR ((triple11 triple12) -> rule1))] Charlie is blue.[(triple9)] Charlie is nice.[(triple10)] Charlie is red.[(triple11)] Charlie is round.[(triple12)] Charlie is white.[(triple13)] Gary is blue.[(triple14)] Gary is red.[(triple15)] Gary is white.[(triple16)]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple5 triple6) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
Anne is white.
("Anne" "is" "white" "+")
triple7
Charlie is big.
("Charlie" "is" "big" "+")
triple8
((triple11 triple12) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple9
Charlie is nice.
("Charlie" "is" "nice" "+")
triple10
Charlie is red.
("Charlie" "is" "red" "+")
triple11
Charlie is round.
("Charlie" "is" "round" "+")
triple12
Charlie is white.
("Charlie" "is" "white" "+")
triple13
Gary is blue.
("Gary" "is" "blue" "+")
triple14
Gary is red.
("Gary" "is" "red" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
triple16