Dave is big. Dave is nice. Dave is young. Gary is big. Gary is red. Gary is smart. Gary is young. Harry is big. Harry is round. Harry is smart. If something is round and nice then it is furry. If Dave is red and Dave is furry then Dave is big. All nice, red things are round.
Dave is big.
("Dave" "is" "big" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is round and nice then it is furry.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
If Dave is red and Dave is furry then Dave is big.
((("Dave" "is" "red" "+") ("Dave" "is" "furry" "+")) -> ("Dave" "is" "big" "+"))
All nice, red things are round.
((("something" "is" "nice" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
Gary is young.
True
1
proof
[(triple7)]
("Gary" "is" "young" "+")
triple7
Gary is not smart.
False
1
inv-proof
[(triple6)]
("Gary" "is" "smart" "-")
triple6
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "furry" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Dave is big.[(triple1)] Dave is nice.[(triple2)] Dave is young.[(triple3)] Gary is big.[(triple4)] Gary is red.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7)] Harry is big.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is smart.
("Gary" "is" "smart" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10