The bear eats the tiger. The bear likes the cat. The bear visits the cat. The bear visits the mouse. The cat is cold. The cat likes the bear. The cat visits the bear. The mouse is kind. The mouse likes the cat. The mouse visits the cat. The mouse visits the tiger. The tiger eats the cat. The tiger is kind. The tiger is rough. The tiger likes the bear. The tiger visits the cat. If something is cold then it likes the cat. If something likes the bear then the bear is rough. If something is rough and it visits the cat then the cat visits the mouse. Kind, red things are cold. If something likes the bear then it is red. If something is cold then it visits the mouse.
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If something is cold then it likes the cat.
((("something" "is" "cold" "+")) -> ("something" "likes" "cat" "+"))
If something likes the bear then the bear is rough.
((("something" "likes" "bear" "+")) -> ("bear" "is" "rough" "+"))
If something is rough and it visits the cat then the cat visits the mouse.
((("something" "is" "rough" "+") ("something" "visits" "cat" "+")) -> ("cat" "visits" "mouse" "+"))
Kind, red things are cold.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
If something likes the bear then it is red.
((("something" "likes" "bear" "+")) -> ("something" "is" "red" "+"))
If something is cold then it visits the mouse.
((("something" "is" "cold" "+")) -> ("something" "visits" "mouse" "+"))
The tiger is kind.
True
1
proof
[(triple13)]
("tiger" "is" "kind" "+")
triple13
The tiger does not like the bear.
False
1
inv-proof
[(triple15)]
("tiger" "likes" "bear" "-")
triple15
The cat likes the cat.
True
2
proof
[(((triple5) -> rule1))]
("cat" "likes" "cat" "+")
((triple5) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat does not visit the mouse.
False
2
inv-proof
[(((triple5) -> rule6) OR ((triple14 triple16) -> rule3) OR ((((triple15) -> rule2) triple3) -> rule3) OR ((((triple6) -> rule2) triple3) -> rule3))]
("cat" "visits" "mouse" "-")
((triple5) -> (rule6 % int1))
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int1
((triple14 triple16) -> (rule3 % int1))
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int1
((((triple15) -> (rule2 % int2)) triple3) -> (rule3 % int1))
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
((((triple6) -> (rule2 % int2)) triple3) -> (rule3 % int1))
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The tiger is cold.
True
4
proof
[(((triple13 ((triple15) -> rule5)) -> rule4))]
("tiger" "is" "cold" "+")
((triple13 ((triple15) -> (rule5 % int2))) -> (rule4 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is not cold.
False
4
inv-proof
[(((triple13 ((triple15) -> rule5)) -> rule4))]
("tiger" "is" "cold" "-")
((triple13 ((triple15) -> (rule5 % int2))) -> (rule4 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger visits the mouse.
True
5
proof
[(((((triple13 ((triple15) -> rule5)) -> rule4)) -> rule6))]
("tiger" "visits" "mouse" "+")
((((triple13 ((triple15) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger does not visit the mouse.
False
5
inv-proof
[(((((triple13 ((triple15) -> rule5)) -> rule4)) -> rule6))]
("tiger" "visits" "mouse" "-")
((((triple13 ((triple15) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The mouse is not cold.
Unknown
inv-rconc
[@2: The mouse is cold.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("mouse" "is" "cold" "-")
The mouse is red.
Unknown
rconc
[@1: The mouse is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "is" "red" "+")
The bear is not red.
Unknown
inv-rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "is" "red" "-")
The bear is cold.
Unknown
rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "cold" "+")
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 bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The bear is not nice.
Unknown
inv-random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear eats the tiger.[(triple1)] The bear likes the cat.[(triple2)] The bear visits the cat.[(triple3)] The bear visits the mouse.[(triple4)] The cat is cold.[(triple5)] The cat likes the bear.[(triple6)] The cat visits the bear.[(triple7)] The mouse is kind.[(triple8)] The mouse likes the cat.[(triple9)] The mouse visits the cat.[(triple10)] The mouse visits the tiger.[(triple11)] The tiger eats the cat.[(triple12)] The tiger is kind.[(triple13)] The tiger is rough.[(triple14)] The tiger likes the bear.[(triple15)] The tiger visits the cat.[(triple16)] @1: The bear is rough.[(((triple15) -> rule2) OR ((triple6) -> rule2))] The cat is red.[(((triple6) -> rule5))] The cat likes the cat.[(((triple5) -> rule1))] The cat visits the mouse.[(((triple5) -> rule6) OR ((triple14 triple16) -> rule3) OR ((((triple15) -> rule2) triple3) -> rule3) OR ((((triple6) -> rule2) triple3) -> rule3))] The tiger is red.[(((triple15) -> rule5))] @2: The tiger is cold.[(((triple13 ((triple15) -> rule5)) -> rule4))] @3: The tiger likes the cat.[(((((triple13 ((triple15) -> rule5)) -> rule4)) -> rule1))] The tiger visits the mouse.[(((((triple13 ((triple15) -> rule5)) -> rule4)) -> rule6))]
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple1
The bear likes the cat.
("bear" "likes" "cat" "+")
triple2
The bear visits the cat.
("bear" "visits" "cat" "+")
triple3
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple4
The cat is cold.
("cat" "is" "cold" "+")
triple5
The cat likes the bear.
("cat" "likes" "bear" "+")
triple6
The cat visits the bear.
("cat" "visits" "bear" "+")
triple7
The mouse is kind.
("mouse" "is" "kind" "+")
triple8
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple9
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple10
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple11
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple12
The tiger is kind.
("tiger" "is" "kind" "+")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple15
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple16
The bear is rough.
("bear" "is" "rough" "+")
((triple15) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
((triple6) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The cat is red.
("cat" "is" "red" "+")
((triple6) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple5) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat visits the mouse.
("cat" "visits" "mouse" "+")
((triple5) -> (rule6 % int1))
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int1
((triple14 triple16) -> (rule3 % int1))
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int1
((((triple15) -> (rule2 % int2)) triple3) -> (rule3 % int1))
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
((((triple6) -> (rule2 % int2)) triple3) -> (rule3 % int1))
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
((triple15) -> (rule5 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
((triple13 ((triple15) -> (rule5 % int2))) -> (rule4 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger likes the cat.
("tiger" "likes" "cat" "+")
((((triple13 ((triple15) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
((((triple13 ((triple15) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3