Bob is not blue. Bob is furry. Bob is not red. If Bob is blue then Bob is red. All round people are not green. If someone is nice and not red then they are furry.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not red.
("Bob" "is" "red" "-")
If Bob is blue then Bob is red.
((("Bob" "is" "blue" "+")) -> ("Bob" "is" "red" "+"))
All round people are not green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "-"))
If someone is nice and not red then they are furry.
((("someone" "is" "nice" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "furry" "+"))
Bob is not red.
True
1
proof
[(triple3)]
("Bob" "is" "red" "-")
triple3
Bob is red.
False
1
inv-proof
[(triple3)]
("Bob" "is" "red" "+")
triple3
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is furry.[(triple2)] Bob is not blue.[(triple1)] Bob is not red.[(triple3)]
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Bob is not red.
("Bob" "is" "red" "-")
triple3