Charlie is not big. Charlie is not cold. Charlie is young. Dave is not cold. Dave is rough. Dave is round. Erin is young. All white things are round.
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
All white things are round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
Charlie is young.
True
1
proof
[(triple3)]
("Charlie" "is" "young" "+")
triple3
Charlie is big.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "big" "+")
triple1
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Charlie is not big.[(triple1)] Charlie is not cold.[(triple2)] Charlie is young.[(triple3)] Dave is not cold.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Erin is young.[(triple7)]
Charlie is not big.
("Charlie" "is" "big" "-")
triple1
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Dave is not cold.
("Dave" "is" "cold" "-")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7