Anne is big. Anne is green. Anne is quiet. Anne is not round. Bob is big. Bob is cold. Bob is green. Bob is not quiet. Bob is rough. Bob is young. If someone is round and not young then they are big. If someone is rough then they are not round.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not round.
("Anne" "is" "round" "-")
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is not quiet.
("Bob" "is" "quiet" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is young.
("Bob" "is" "young" "+")
If someone is round and not young then they are big.
((("someone" "is" "round" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "big" "+"))
If someone is rough then they are not round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "-"))
Anne is not round.
True
1
proof
[(triple4)]
("Anne" "is" "round" "-")
triple4
Bob is not rough.
False
1
inv-proof
[(triple9)]
("Bob" "is" "rough" "-")
triple9
Bob is not round.
True
2
proof
[(((triple9) -> rule2))]
("Bob" "is" "round" "-")
((triple9) -> (rule2 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1
Bob is round.
False
2
inv-proof
[(((triple9) -> rule2))]
("Bob" "is" "round" "+")
((triple9) -> (rule2 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is not round.[(triple4)] Anne is quiet.[(triple3)] Bob is big.[(triple5)] Bob is cold.[(triple6)] Bob is green.[(triple7)] Bob is not quiet.[(triple8)] Bob is rough.[(triple9)] Bob is young.[(triple10)] @1: Bob is not round.[(((triple9) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not round.
("Anne" "is" "round" "-")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is green.
("Bob" "is" "green" "+")
triple7
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple8
Bob is rough.
("Bob" "is" "rough" "+")
triple9
Bob is young.
("Bob" "is" "young" "+")
triple10
Bob is not round.
("Bob" "is" "round" "-")
((triple9) -> (rule2 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1