The cat needs the tiger. The cat visits the tiger. The tiger does not eat the cat. If the tiger does not eat the cat then the cat is rough.
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The tiger does not eat the cat.
("tiger" "eats" "cat" "-")
If the tiger does not eat the cat then the cat is rough.
((("tiger" "eats" "cat" "~")) -> ("cat" "is" "rough" "+"))
The tiger does not eat the cat.
True
1
proof
[(triple3)]
("tiger" "eats" "cat" "-")
triple3
The cat does not visit the tiger.
False
1
inv-proof
[(triple2)]
("cat" "visits" "tiger" "-")
triple2
The cat is rough.
True
2
proof
[(((triple3) -> rule1))]
("cat" "is" "rough" "+")
((triple3) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is not rough.
False
2
inv-proof
[(((triple3) -> rule1))]
("cat" "is" "rough" "-")
((triple3) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
The cat is not big.
Unknown
inv-random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "-")
The tiger visits the cat.
Unknown
random
[@0: The tiger visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "cat" "+")
@0: The cat needs the tiger.[(triple1)] The cat visits the tiger.[(triple2)] The tiger does not eat the cat.[(triple3)] @1: The cat is rough.[(((triple3) -> rule1))]
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple2
The tiger does not eat the cat.
("tiger" "eats" "cat" "-")
triple3
The cat is rough.
("cat" "is" "rough" "+")
((triple3) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1