The cat eats the tiger. The cat is green. The cat is kind. The cat is young. The cat sees the tiger. The cat visits the tiger. The tiger eats the cat. The tiger is cold. The tiger is kind. The tiger is young. The tiger sees the cat. The tiger visits the cat. If something eats the cat and the cat visits the tiger then the cat is cold. If something visits the tiger then the tiger eats the cat. All green things are cold. If something visits the cat then the cat is cold. If something sees the tiger then the tiger sees the cat. If something eats the tiger and the tiger visits the cat then it eats the cat. If something is young and it sees the tiger then it visits the cat. If the tiger visits the cat then the tiger is kind.
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is young.
("cat" "is" "young" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
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 kind.
("tiger" "is" "kind" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If something eats the cat and the cat visits the tiger then the cat is cold.
((("something" "eats" "cat" "+") ("cat" "visits" "tiger" "+")) -> ("cat" "is" "cold" "+"))
If something visits the tiger then the tiger eats the cat.
((("something" "visits" "tiger" "+")) -> ("tiger" "eats" "cat" "+"))
All green things are cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
If something visits the cat then the cat is cold.
((("something" "visits" "cat" "+")) -> ("cat" "is" "cold" "+"))
If something sees the tiger then the tiger sees the cat.
((("something" "sees" "tiger" "+")) -> ("tiger" "sees" "cat" "+"))
If something eats the tiger and the tiger visits the cat then it eats the cat.
((("something" "eats" "tiger" "+") ("tiger" "visits" "cat" "+")) -> ("something" "eats" "cat" "+"))
If something is young and it sees the tiger then it visits the cat.
((("something" "is" "young" "+") ("something" "sees" "tiger" "+")) -> ("something" "visits" "cat" "+"))
If the tiger visits the cat then the tiger is kind.
((("tiger" "visits" "cat" "+")) -> ("tiger" "is" "kind" "+"))
The tiger visits the cat.
True
1
proof
[(triple12)]
("tiger" "visits" "cat" "+")
triple12
The tiger does not visit the cat.
False
1
inv-proof
[(triple12)]
("tiger" "visits" "cat" "-")
triple12
The cat visits the cat.
True
3
proof
[(((triple4 triple5) -> rule7))]
("cat" "visits" "cat" "+")
((triple4 triple5) -> (rule7 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat is not cold.
False
2
inv-proof
[(((triple12) -> rule4) OR ((triple2) -> rule3) OR ((triple7 triple6) -> rule1) OR ((((triple4 triple5) -> rule7)) -> rule4) OR ((((triple6) -> rule2) triple6) -> rule1) OR ((((triple1 triple12) -> rule6) triple6) -> rule1))]
("cat" "is" "cold" "-")
((triple12) -> (rule4 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
((triple2) -> (rule3 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
((triple7 triple6) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
((((triple4 triple5) -> (rule7 % int2))) -> (rule4 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
((((triple6) -> (rule2 % int2)) triple6) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The tiger eats the cat.
("tiger" "eats" "cat" "+")
int2
((((triple1 triple12) -> (rule6 % int2)) triple6) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
The tiger is not blue.
Unknown
inv-random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
@0: The cat eats the tiger.[(triple1)] The cat is green.[(triple2)] The cat is kind.[(triple3)] The cat is young.[(triple4)] The cat sees the tiger.[(triple5)] The cat visits the tiger.[(triple6)] The tiger eats the cat.[(triple7 OR ((triple6) -> rule2))] The tiger is cold.[(triple8)] The tiger is kind.[(triple9 OR ((triple12) -> rule8))] The tiger is young.[(triple10)] The tiger sees the cat.[(triple11 OR ((triple5) -> rule5))] The tiger visits the cat.[(triple12)] @1: The cat eats the cat.[(((triple1 triple12) -> rule6))] The cat is cold.[(((triple12) -> rule4) OR ((triple2) -> rule3) OR ((triple7 triple6) -> rule1) OR ((((triple4 triple5) -> rule7)) -> rule4) OR ((((triple6) -> rule2) triple6) -> rule1) OR ((((triple1 triple12) -> rule6) triple6) -> rule1))] The cat visits the cat.[(((triple4 triple5) -> rule7))]
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
The cat is young.
("cat" "is" "young" "+")
triple4
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple5
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple6
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple7
((triple6) -> (rule2 % int1))
The tiger eats the cat.
("tiger" "eats" "cat" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
triple8
The tiger is kind.
("tiger" "is" "kind" "+")
triple9
((triple12) -> (rule8 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
triple10
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple11
((triple5) -> (rule5 % int1))
The tiger sees the cat.
("tiger" "sees" "cat" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple12
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple1 triple12) -> (rule6 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
((triple12) -> (rule4 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
((triple2) -> (rule3 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
((triple7 triple6) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
((((triple4 triple5) -> (rule7 % int2))) -> (rule4 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
((((triple6) -> (rule2 % int2)) triple6) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The tiger eats the cat.
("tiger" "eats" "cat" "+")
int2
((((triple1 triple12) -> (rule6 % int2)) triple6) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat visits the cat.
("cat" "visits" "cat" "+")
((triple4 triple5) -> (rule7 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1