The cat eats the tiger. The cat is blue. The cat is green. The cat is red. The cat visits the tiger. The tiger eats the cat. The tiger is cold. The tiger is red. The tiger likes the cat. The tiger visits the cat. If something eats the tiger then the tiger eats the cat. If something is cold then it likes the cat. If something visits the tiger then it eats the tiger. If something visits the tiger then the tiger is red. If something likes the cat and it is cold then the cat is cold. If something visits the cat and it eats the cat then the cat is big.
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If something eats the tiger then the tiger eats the cat.
((("something" "eats" "tiger" "+")) -> ("tiger" "eats" "cat" "+"))
If something is cold then it likes the cat.
((("something" "is" "cold" "+")) -> ("something" "likes" "cat" "+"))
If something visits the tiger then it eats the tiger.
((("something" "visits" "tiger" "+")) -> ("something" "eats" "tiger" "+"))
If something visits the tiger then the tiger is red.
((("something" "visits" "tiger" "+")) -> ("tiger" "is" "red" "+"))
If something likes the cat and it is cold then the cat is cold.
((("something" "likes" "cat" "+") ("something" "is" "cold" "+")) -> ("cat" "is" "cold" "+"))
If something visits the cat and it eats the cat then the cat is big.
((("something" "visits" "cat" "+") ("something" "eats" "cat" "+")) -> ("cat" "is" "big" "+"))
The cat is red.
True
1
proof
[(triple4)]
("cat" "is" "red" "+")
triple4
The tiger does not like the cat.
False
1
inv-proof
[(triple9 OR ((triple7) -> rule2))]
("tiger" "likes" "cat" "-")
triple9
((triple7) -> (rule2 % int1))
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int1
The tiger does not eat the tiger.
Unknown
inv-rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "eats" "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 OR ((triple5) -> rule3))] The cat is blue.[(triple2)] The cat is green.[(triple3)] The cat is red.[(triple4)] The cat visits the tiger.[(triple5)] The tiger eats the cat.[(triple6 OR ((triple1) -> rule1) OR ((((triple5) -> rule3)) -> rule1))] The tiger is cold.[(triple7)] The tiger is red.[(triple8 OR ((triple5) -> rule4))] The tiger likes the cat.[(triple9 OR ((triple7) -> rule2))] The tiger visits the cat.[(triple10)] @1: The cat is big.[(((triple10 triple6) -> rule6) OR ((triple10 ((triple1) -> rule1)) -> rule6) OR ((triple10 ((((triple5) -> rule3)) -> rule1)) -> rule6))] The cat is cold.[(((triple9 triple7) -> rule5) OR ((((triple7) -> rule2) triple7) -> rule5))] @2: The cat likes the cat.[(((((triple9 triple7) -> rule5)) -> rule2) OR ((((((triple7) -> rule2) triple7) -> rule5)) -> rule2))]
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple1
((triple5) -> (rule3 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat is red.
("cat" "is" "red" "+")
triple4
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple5
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple6
((triple1) -> (rule1 % int1))
The tiger eats the cat.
("tiger" "eats" "cat" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
The tiger eats the cat.
("tiger" "eats" "cat" "+")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int2
The tiger is cold.
("tiger" "is" "cold" "+")
triple7
The tiger is red.
("tiger" "is" "red" "+")
triple8
((triple5) -> (rule4 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple9
((triple7) -> (rule2 % int1))
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple10
The cat is big.
("cat" "is" "big" "+")
((triple10 triple6) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
((triple10 ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The tiger eats the cat.
("tiger" "eats" "cat" "+")
int2
((triple10 ((((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The tiger eats the cat.
("tiger" "eats" "cat" "+")
int2
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
((triple9 triple7) -> (rule5 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
((((triple7) -> (rule2 % int2)) triple7) -> (rule5 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
((((triple9 triple7) -> (rule5 % int2))) -> (rule2 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
((((((triple7) -> (rule2 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int3