The cat is big. If something is green and not kind then it is not rough. All round things are not rough. If something is big then it is rough. Rough, big things are green. If the cat is green then the cat is big. If something is kind then it is round. Kind things are round. Round things are not big.
The cat is big.
("cat" "is" "big" "+")
If something is green and not kind then it is not rough.
((("something" "is" "green" "+") ("something" "is" "kind" "~")) -> ("something" "is" "rough" "-"))
All round things are not rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "-"))
If something is big then it is rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
Rough, big things are green.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If the cat is green then the cat is big.
((("cat" "is" "green" "+")) -> ("cat" "is" "big" "+"))
If something is kind then it is round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
Kind things are round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
Round things are not big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "-"))
The cat is big.
True
1
proof
[(triple1)]
("cat" "is" "big" "+")
triple1
The cat is not big.
False
1
inv-proof
[(triple1)]
("cat" "is" "big" "-")
triple1
The cat is rough.
True
2
proof
[(((triple1) -> rule3))]
("cat" "is" "rough" "+")
((triple1) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is not rough.
False
2
inv-proof
[(((triple1) -> rule3))]
("cat" "is" "rough" "-")
((triple1) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "round" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The cat is big.[(triple1)] @1: The cat is rough.[(((triple1) -> rule3))] @2: The cat is green.[(((((triple1) -> rule3) triple1) -> rule4))]
The cat is big.
("cat" "is" "big" "+")
triple1
The cat is rough.
("cat" "is" "rough" "+")
((triple1) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is green.
("cat" "is" "green" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2