Anne is big. Charlie is not round. Dave is not rough. Fiona is round. Big things are not rough.
Anne is big.
("Anne" "is" "big" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Dave is not rough.
("Dave" "is" "rough" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Big things are not rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "-"))
Charlie is not round.
True
1
proof
[(triple2)]
("Charlie" "is" "round" "-")
triple2
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Anne is not rough.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "rough" "-")
((triple1) -> (rule1 % int1))
Anne is not rough.
("Anne" "is" "rough" "-")
int1
Anne is rough.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Anne is not rough.
("Anne" "is" "rough" "-")
int1
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is big.[(triple1)] Charlie is not round.[(triple2)] Dave is not rough.[(triple3)] Fiona is round.[(triple4)] @1: Anne is not rough.[(((triple1) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Charlie is not round.
("Charlie" "is" "round" "-")
triple2
Dave is not rough.
("Dave" "is" "rough" "-")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Anne is not rough.
("Anne" "is" "rough" "-")
((triple1) -> (rule1 % int1))
Anne is not rough.
("Anne" "is" "rough" "-")
int1