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