Anne is cold. Anne is round. Anne is white. Charlie is furry. Charlie is white. Gary is cold. Gary is nice. Gary is round. Gary is smart. Gary is white. Red, cold people are smart. All red, round people are cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Red, cold people are smart.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
All red, round people are cold.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Gary is white.
True
1
proof
[(triple10)]
("Gary" "is" "white" "+")
triple10
Gary is not round.
False
1
inv-proof
[(triple8)]
("Gary" "is" "round" "-")
triple8
Charlie is not smart.
Unknown
inv-rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "smart" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Anne is cold.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Charlie is furry.[(triple4)] Charlie is white.[(triple5)] Gary is cold.[(triple6)] Gary is nice.[(triple7)] Gary is round.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is smart.
("Gary" "is" "smart" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10