The bear chases the mouse. The bear eats the mouse. The cat chases the bear. The cat eats the squirrel. The cat likes the mouse. The cat likes the squirrel. The mouse is red. The mouse likes the squirrel. The squirrel does not chase the bear. The squirrel chases the cat. The squirrel chases the mouse. The squirrel eats the cat. The squirrel is round. The squirrel likes the cat. If someone is young then they are red. If someone is red then they are round. If the squirrel is young and the squirrel eats the mouse then the squirrel eats the cat. If someone eats the cat then the cat is cold. If someone is cold then they chase the squirrel. If someone eats the mouse then they chase the squirrel. If someone chases the bear and they eat the bear then they chase the cat. If someone chases the squirrel then they are young.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If the squirrel is young and the squirrel eats the mouse then the squirrel eats the cat.
((("squirrel" "is" "young" "+") ("squirrel" "eats" "mouse" "+")) -> ("squirrel" "eats" "cat" "+"))
If someone eats the cat then the cat is cold.
((("someone" "eats" "cat" "+")) -> ("cat" "is" "cold" "+"))
If someone is cold then they chase the squirrel.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone eats the mouse then they chase the squirrel.
((("someone" "eats" "mouse" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone chases the bear and they eat the bear then they chase the cat.
((("someone" "chases" "bear" "+") ("someone" "eats" "bear" "+")) -> ("someone" "chases" "cat" "+"))
If someone chases the squirrel then they are young.
((("someone" "chases" "squirrel" "+")) -> ("someone" "is" "young" "+"))
The squirrel is round.
True
1
proof
[(triple13)]
("squirrel" "is" "round" "+")
triple13
The squirrel chases the bear.
False
1
inv-proof
[(triple9)]
("squirrel" "chases" "bear" "+")
triple9
The cat is cold.
True
2
proof
[(((triple12) -> rule4))]
("cat" "is" "cold" "+")
((triple12) -> (rule4 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The mouse is not round.
False
2
inv-proof
[(((triple7) -> rule2))]
("mouse" "is" "round" "-")
((triple7) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The bear is young.
True
3
proof
[(((((triple2) -> rule6)) -> rule8))]
("bear" "is" "young" "+")
((((triple2) -> (rule6 % int2))) -> (rule8 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The cat does not chase the squirrel.
False
3
inv-proof
[(((((triple12) -> rule4)) -> rule5))]
("cat" "chases" "squirrel" "-")
((((triple12) -> (rule4 % int2))) -> (rule5 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The bear is red.
True
4
proof
[(((((((triple2) -> rule6)) -> rule8)) -> rule1))]
("bear" "is" "red" "+")
((((((triple2) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int3
The bear is not red.
False
4
inv-proof
[(((((((triple2) -> rule6)) -> rule8)) -> rule1))]
("bear" "is" "red" "-")
((((((triple2) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int3
The cat is red.
True
5
proof
[(((((((((triple12) -> rule4)) -> rule5)) -> rule8)) -> rule1))]
("cat" "is" "red" "+")
((((((((triple12) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The cat is not red.
False
5
inv-proof
[(((((((((triple12) -> rule4)) -> rule5)) -> rule8)) -> rule1))]
("cat" "is" "red" "-")
((((((((triple12) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The cat is round.
True
6
proof
[(((((((((((triple12) -> rule4)) -> rule5)) -> rule8)) -> rule1)) -> rule2))]
("cat" "is" "round" "+")
((((((((((triple12) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int4
The cat is cold.
("cat" "is" "cold" "+")
int5
The cat is not round.
False
6
inv-proof
[(((((((((((triple12) -> rule4)) -> rule5)) -> rule8)) -> rule1)) -> rule2))]
("cat" "is" "round" "-")
((((((((((triple12) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int4
The cat is cold.
("cat" "is" "cold" "+")
int5
The mouse is not young.
Unknown
inv-rconc
[@2: The mouse is young.[CWA. Example of deepest failure = (rule8 <- rule5 <- FAIL)]]
("mouse" "is" "young" "-")
The bear chases the cat.
Unknown
rconc
[@1: The bear chases the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "chases" "cat" "+")
The squirrel is not young.
Unknown
inv-rconc
[@2: The squirrel is young.[CWA. Example of deepest failure = (rule8 <- rule5 <- FAIL)]]
("squirrel" "is" "young" "-")
The mouse chases the cat.
Unknown
rconc
[@1: The mouse chases the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "chases" "cat" "+")
The cat does not chase the cat.
Unknown
inv-rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "chases" "cat" "-")
The mouse chases the squirrel.
Unknown
rconc
[@1: The mouse chases the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "chases" "squirrel" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
The mouse does not eat the cat.
Unknown
inv-random
[@0: The mouse eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "cat" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
The bear does not like the cat.
Unknown
inv-random
[@0: The bear likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "cat" "-")
The mouse likes the bear.
Unknown
random
[@0: The mouse likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "bear" "+")
@0: The bear chases the mouse.[(triple1)] The bear eats the mouse.[(triple2)] The cat chases the bear.[(triple3)] The cat eats the squirrel.[(triple4)] The cat likes the mouse.[(triple5)] The cat likes the squirrel.[(triple6)] The mouse is red.[(triple7)] The mouse likes the squirrel.[(triple8)] The squirrel chases the cat.[(triple10)] The squirrel chases the mouse.[(triple11)] The squirrel does not chase the bear.[(triple9)] The squirrel eats the cat.[(triple12)] The squirrel is round.[(triple13)] The squirrel likes the cat.[(triple14)] @1: The bear chases the squirrel.[(((triple2) -> rule6))] The cat is cold.[(((triple12) -> rule4))] The mouse is round.[(((triple7) -> rule2))] @2: The bear is young.[(((((triple2) -> rule6)) -> rule8))] The cat chases the squirrel.[(((((triple12) -> rule4)) -> rule5))] @3: The bear is red.[(((((((triple2) -> rule6)) -> rule8)) -> rule1))] The cat is young.[(((((((triple12) -> rule4)) -> rule5)) -> rule8))] @4: The bear is round.[(((((((((triple2) -> rule6)) -> rule8)) -> rule1)) -> rule2))] The cat is red.[(((((((((triple12) -> rule4)) -> rule5)) -> rule8)) -> rule1))] @5: The cat is round.[(((((((((((triple12) -> rule4)) -> rule5)) -> rule8)) -> rule1)) -> rule2))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple2
The cat chases the bear.
("cat" "chases" "bear" "+")
triple3
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple4
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple6
The mouse is red.
("mouse" "is" "red" "+")
triple7
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple8
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple10
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple11
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
triple9
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple13
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple14
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
((triple2) -> (rule6 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
((triple12) -> (rule4 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
((triple7) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The bear is young.
("bear" "is" "young" "+")
((((triple2) -> (rule6 % int2))) -> (rule8 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
((((triple12) -> (rule4 % int2))) -> (rule5 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The bear is red.
("bear" "is" "red" "+")
((((((triple2) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int3
The cat is young.
("cat" "is" "young" "+")
((((((triple12) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The bear is round.
("bear" "is" "round" "+")
((((((((triple2) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int4
The cat is red.
("cat" "is" "red" "+")
((((((((triple12) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The cat is round.
("cat" "is" "round" "+")
((((((((((triple12) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int4
The cat is cold.
("cat" "is" "cold" "+")
int5