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