The cat eats the tiger. The cat is big. The cat is green. The cat is kind. The cat is rough. The cat is young. The cat needs the tiger. The cat visits the tiger. The tiger eats the cat. The tiger is big. The tiger is not kind. The tiger is not rough. The tiger is not young. The tiger needs the cat. The tiger visits the cat. If the cat visits the tiger then the cat is young. If someone visits the tiger and they are not kind then the tiger does not eat the cat. If someone needs the cat and they do not need the tiger then the tiger eats the cat. If someone is kind then they need the cat. If someone visits the tiger and the tiger is rough then the tiger needs the cat. If the tiger does not need the cat then the cat is rough.
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is not kind.
("tiger" "is" "kind" "-")
The tiger is not rough.
("tiger" "is" "rough" "-")
The tiger is not young.
("tiger" "is" "young" "-")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If the cat visits the tiger then the cat is young.
((("cat" "visits" "tiger" "+")) -> ("cat" "is" "young" "+"))
If someone visits the tiger and they are not kind then the tiger does not eat the cat.
((("someone" "visits" "tiger" "+") ("someone" "is" "kind" "~")) -> ("tiger" "eats" "cat" "-"))
If someone needs the cat and they do not need the tiger then the tiger eats the cat.
((("someone" "needs" "cat" "+") ("someone" "needs" "tiger" "~")) -> ("tiger" "eats" "cat" "+"))
If someone is kind then they need the cat.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "cat" "+"))
If someone visits the tiger and the tiger is rough then the tiger needs the cat.
((("someone" "visits" "tiger" "+") ("tiger" "is" "rough" "+")) -> ("tiger" "needs" "cat" "+"))
If the tiger does not need the cat then the cat is rough.
((("tiger" "needs" "cat" "~")) -> ("cat" "is" "rough" "+"))
The cat is big.
True
1
proof
[(triple2)]
("cat" "is" "big" "+")
triple2
The cat is not green.
False
1
inv-proof
[(triple3)]
("cat" "is" "green" "-")
triple3
The cat needs the cat.
True
2
proof
[(((triple4) -> rule4))]
("cat" "needs" "cat" "+")
((triple4) -> (rule4 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat does not need the cat.
False
2
inv-proof
[(((triple4) -> rule4))]
("cat" "needs" "cat" "-")
((triple4) -> (rule4 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The tiger is not green.
Unknown
inv-random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
The tiger does not visit the tiger.
Unknown
inv-random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat eats the tiger.[(triple1)] The cat is big.[(triple2)] The cat is green.[(triple3)] The cat is kind.[(triple4)] The cat is rough.[(triple5)] The cat is young.[(triple6 OR ((triple8) -> rule1))] The cat needs the tiger.[(triple7)] The cat visits the tiger.[(triple8)] The tiger eats the cat.[(triple9)] The tiger is big.[(triple10)] The tiger is not kind.[(triple11)] The tiger is not rough.[(triple12)] The tiger is not young.[(triple13)] The tiger needs the cat.[(triple14)] The tiger visits the cat.[(triple15)] @1: The cat needs the cat.[(((triple4) -> rule4))]
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat is kind.
("cat" "is" "kind" "+")
triple4
The cat is rough.
("cat" "is" "rough" "+")
triple5
The cat is young.
("cat" "is" "young" "+")
triple6
((triple8) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple7
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple8
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple9
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger is not kind.
("tiger" "is" "kind" "-")
triple11
The tiger is not rough.
("tiger" "is" "rough" "-")
triple12
The tiger is not young.
("tiger" "is" "young" "-")
triple13
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple14
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple15
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple4) -> (rule4 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1