Harry is not round. Harry is not smart. Harry is young. If something is smart and green then it is round. If something is young and white then it is round. If something is big and not cold then it is white. If something is cold and not green then it is white. White things are big. If something is white then it is young. Big things are smart. Big things are not smart.
Harry is not round.
("Harry" "is" "round" "-")
Harry is not smart.
("Harry" "is" "smart" "-")
Harry is young.
("Harry" "is" "young" "+")
If something is smart and green then it is round.
((("something" "is" "smart" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is young and white then it is round.
((("something" "is" "young" "+") ("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
If something is big and not cold then it is white.
((("something" "is" "big" "+") ("something" "is" "cold" "~")) -> ("something" "is" "white" "+"))
If something is cold and not green then it is white.
((("something" "is" "cold" "+") ("something" "is" "green" "~")) -> ("something" "is" "white" "+"))
White things are big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
If something is white then it is young.
((("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
Big things are smart.
((("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
Big things are not smart.
((("something" "is" "big" "+")) -> ("something" "is" "smart" "-"))
Harry is not smart.
True
1
proof
[(triple2)]
("Harry" "is" "smart" "-")
triple2
Harry is smart.
False
1
inv-proof
[(triple2)]
("Harry" "is" "smart" "+")
triple2
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "white" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Harry is not round.[(triple1)] Harry is not smart.[(triple2)] Harry is young.[(triple3)]
Harry is not round.
("Harry" "is" "round" "-")
triple1
Harry is not smart.
("Harry" "is" "smart" "-")
triple2
Harry is young.
("Harry" "is" "young" "+")
triple3