Bob is round. Dave is not cold. Gary is smart. Big people are kind. If Gary is big and Gary is not cold then Gary is smart.
Bob is round.
("Bob" "is" "round" "+")
Dave is not cold.
("Dave" "is" "cold" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Big people are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If Gary is big and Gary is not cold then Gary is smart.
((("Gary" "is" "big" "+") ("Gary" "is" "cold" "~")) -> ("Gary" "is" "smart" "+"))
Dave is not cold.
True
1
proof
[(triple2)]
("Dave" "is" "cold" "-")
triple2
Gary is not smart.
False
1
inv-proof
[(triple3)]
("Gary" "is" "smart" "-")
triple3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Bob is round.[(triple1)] Dave is not cold.[(triple2)] Gary is smart.[(triple3)]
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is not cold.
("Dave" "is" "cold" "-")
triple2
Gary is smart.
("Gary" "is" "smart" "+")
triple3