Dave is blue. Dave is kind. Dave is round. Gary is big. Gary is blue. Gary is furry. Gary is smart. If Dave is cold and Dave is kind then Dave is furry.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If Dave is cold and Dave is kind then Dave is furry.
((("Dave" "is" "cold" "+") ("Dave" "is" "kind" "+")) -> ("Dave" "is" "furry" "+"))
Gary is smart.
True
1
proof
[(triple7)]
("Gary" "is" "smart" "+")
triple7
Gary is not blue.
False
1
inv-proof
[(triple5)]
("Gary" "is" "blue" "-")
triple5
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "furry" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Dave is blue.[(triple1)] Dave is kind.[(triple2)] Dave is round.[(triple3)] Gary is big.[(triple4)] Gary is blue.[(triple5)] Gary is furry.[(triple6)] Gary is smart.[(triple7)]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7