Bob is smart. Erin is round. Gary is big. Harry is white. All furry, big people are green. If Gary is round and Gary is furry then Gary is smart.
Bob is smart.
("Bob" "is" "smart" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is white.
("Harry" "is" "white" "+")
All furry, big people are green.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If Gary is round and Gary is furry then Gary is smart.
((("Gary" "is" "round" "+") ("Gary" "is" "furry" "+")) -> ("Gary" "is" "smart" "+"))
Gary is big.
True
1
proof
[(triple3)]
("Gary" "is" "big" "+")
triple3
Erin is not round.
False
1
inv-proof
[(triple2)]
("Erin" "is" "round" "-")
triple2
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is smart.[(triple1)] Erin is round.[(triple2)] Gary is big.[(triple3)] Harry is white.[(triple4)]
Bob is smart.
("Bob" "is" "smart" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple3
Harry is white.
("Harry" "is" "white" "+")
triple4