The cat is big. The cat is green. The cat is rough. The cat is round. The cat is young. If something is young and big then it is green.
The cat is big.
("cat" "is" "big" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is young.
("cat" "is" "young" "+")
If something is young and big then it is green.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
The cat is young.
True
1
proof
[(triple5)]
("cat" "is" "young" "+")
triple5
The cat is not rough.
False
1
inv-proof
[(triple3)]
("cat" "is" "rough" "-")
triple3
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 visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The cat is big.[(triple1)] The cat is green.[(triple2 OR ((triple5 triple1) -> rule1))] The cat is rough.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5)]
The cat is big.
("cat" "is" "big" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
((triple5 triple1) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cat is round.
("cat" "is" "round" "+")
triple4
The cat is young.
("cat" "is" "young" "+")
triple5