Bob is not rough. Erin is young. If someone is white and smart then they are not furry. If Erin is rough and Erin is smart then Erin is young.
Bob is not rough.
("Bob" "is" "rough" "-")
Erin is young.
("Erin" "is" "young" "+")
If someone is white and smart then they are not furry.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "-"))
If Erin is rough and Erin is smart then Erin is young.
((("Erin" "is" "rough" "+") ("Erin" "is" "smart" "+")) -> ("Erin" "is" "young" "+"))
Erin is young.
True
1
proof
[(triple2)]
("Erin" "is" "young" "+")
triple2
Erin is not young.
False
1
inv-proof
[(triple2)]
("Erin" "is" "young" "-")
triple2
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Bob is not rough.[(triple1)] Erin is young.[(triple2)]
Bob is not rough.
("Bob" "is" "rough" "-")
triple1
Erin is young.
("Erin" "is" "young" "+")
triple2