Bob is not big. Bob is furry. Bob is not nice. If something is rough and not young then it is nice. Young things are nice.
Bob is not big.
("Bob" "is" "big" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
If something is rough and not young then it is nice.
((("something" "is" "rough" "+") ("something" "is" "young" "~")) -> ("something" "is" "nice" "+"))
Young things are nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
Bob is furry.
True
1
proof
[(triple2)]
("Bob" "is" "furry" "+")
triple2
Bob is nice.
False
1
inv-proof
[(triple3)]
("Bob" "is" "nice" "+")
triple3
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is furry.[(triple2)] Bob is not big.[(triple1)] Bob is not nice.[(triple3)]
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not nice.
("Bob" "is" "nice" "-")
triple3