Anne is quiet. Anne is rough. Bob is furry. Bob is quiet. Erin is nice. Fiona is furry. Fiona is young. If something is rough then it is not furry.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is rough then it is not furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "-"))
Anne is rough.
True
1
proof
[(triple2)]
("Anne" "is" "rough" "+")
triple2
Fiona is not young.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "young" "-")
triple7
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is quiet.[(triple1)] Anne is rough.[(triple2)] Bob is furry.[(triple3)] Bob is quiet.[(triple4)] Erin is nice.[(triple5)] Fiona is furry.[(triple6)] Fiona is young.[(triple7)] @1: Anne is not furry.[(((triple2) -> rule1))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Anne is not furry.
("Anne" "is" "furry" "-")
((triple2) -> (rule1 % int1))
Anne is not furry.
("Anne" "is" "furry" "-")
int1