The cat does not chase the squirrel. The cat is blue. The cow chases the cat. The cow chases the squirrel. The cow is kind. The cow is not young. The mouse chases the cat. The mouse needs the cat. The mouse sees the cat. The mouse sees the squirrel. The squirrel does not chase the cat. The squirrel chases the cow. The squirrel is not round. The squirrel is young. If the cat needs the cow then the cat chases the mouse. If someone needs the cow then they are kind. If someone chases the cat then they are kind. If someone sees the cow then they need the mouse. If someone sees the cow and they chase the cat then the cat needs the cow. If someone is young and they need the cow then they are not round. If someone is kind then they see the cow. If someone needs the cow and they chase the mouse then the mouse sees the cow.
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
The cat is blue.
("cat" "is" "blue" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is not young.
("cow" "is" "young" "-")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel does not chase the cat.
("squirrel" "chases" "cat" "-")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel is not round.
("squirrel" "is" "round" "-")
The squirrel is young.
("squirrel" "is" "young" "+")
If the cat needs the cow then the cat chases the mouse.
((("cat" "needs" "cow" "+")) -> ("cat" "chases" "mouse" "+"))
If someone needs the cow then they are kind.
((("someone" "needs" "cow" "+")) -> ("someone" "is" "kind" "+"))
If someone chases the cat then they are kind.
((("someone" "chases" "cat" "+")) -> ("someone" "is" "kind" "+"))
If someone sees the cow then they need the mouse.
((("someone" "sees" "cow" "+")) -> ("someone" "needs" "mouse" "+"))
If someone sees the cow and they chase the cat then the cat needs the cow.
((("someone" "sees" "cow" "+") ("someone" "chases" "cat" "+")) -> ("cat" "needs" "cow" "+"))
If someone is young and they need the cow then they are not round.
((("someone" "is" "young" "+") ("someone" "needs" "cow" "+")) -> ("someone" "is" "round" "-"))
If someone is kind then they see the cow.
((("someone" "is" "kind" "+")) -> ("someone" "sees" "cow" "+"))
If someone needs the cow and they chase the mouse then the mouse sees the cow.
((("someone" "needs" "cow" "+") ("someone" "chases" "mouse" "+")) -> ("mouse" "sees" "cow" "+"))
The cat is blue.
True
1
proof
[(triple2)]
("cat" "is" "blue" "+")
triple2
The squirrel is not young.
False
1
inv-proof
[(triple14)]
("squirrel" "is" "young" "-")
triple14
The mouse is kind.
True
2
proof
[(((triple7) -> rule3))]
("mouse" "is" "kind" "+")
((triple7) -> (rule3 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is not kind.
False
2
inv-proof
[(((triple7) -> rule3))]
("mouse" "is" "kind" "-")
((triple7) -> (rule3 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse sees the cow.
True
3
proof
[(((((triple7) -> rule3)) -> rule7) OR ((((((triple5) -> rule7) triple3) -> rule5) ((((((triple5) -> rule7) triple3) -> rule5)) -> rule1)) -> rule8) OR ((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5) ((((((triple5) -> rule7) triple3) -> rule5)) -> rule1)) -> rule8) OR ((((((triple5) -> rule7) triple3) -> rule5) ((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5)) -> rule1)) -> rule8) OR ((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5) ((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5)) -> rule1)) -> rule8))]
("mouse" "sees" "cow" "+")
((((triple7) -> (rule3 % int2))) -> (rule7 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
((((((triple5) -> (rule7 % int4)) triple3) -> (rule5 % int3)) ((((((triple5) -> (rule7 % int4)) triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int2
The cat needs the cow.
("cat" "needs" "cow" "+")
int3
The cow sees the cow.
("cow" "sees" "cow" "+")
int4
((((((((triple3) -> (rule3 % int5))) -> (rule7 % int4)) triple3) -> (rule5 % int3)) ((((((triple5) -> (rule7 % int4)) triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int2
The cat needs the cow.
("cat" "needs" "cow" "+")
int3
The cow sees the cow.
("cow" "sees" "cow" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
((((((triple5) -> (rule7 % int5)) triple3) -> (rule5 % int4)) ((((((((triple3) -> (rule3 % int3))) -> (rule7 % int5)) triple3) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule8 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cat needs the cow.
("cat" "needs" "cow" "+")
int4
The cow sees the cow.
("cow" "sees" "cow" "+")
int5
((((((((triple3) -> (rule3 % int5))) -> (rule7 % int4)) triple3) -> (rule5 % int3)) ((((((((triple3) -> (rule3 % int5))) -> (rule7 % int4)) triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int2
The cat needs the cow.
("cat" "needs" "cow" "+")
int3
The cow sees the cow.
("cow" "sees" "cow" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
The cat does not need the cow.
False
4
inv-proof
[(((((triple5) -> rule7) triple3) -> rule5) OR ((((((triple3) -> rule3)) -> rule7) triple3) -> rule5) OR ((((((triple7) -> rule3)) -> rule7) triple7) -> rule5))]
("cat" "needs" "cow" "-")
((((triple5) -> (rule7 % int2)) triple3) -> (rule5 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
((((((triple3) -> (rule3 % int3))) -> (rule7 % int2)) triple3) -> (rule5 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
((((((triple7) -> (rule3 % int3))) -> (rule7 % int2)) triple7) -> (rule5 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
int3
The mouse needs the mouse.
True
4
proof
[(((((((triple7) -> rule3)) -> rule7)) -> rule4) OR ((((((((triple5) -> rule7) triple3) -> rule5) ((((((triple5) -> rule7) triple3) -> rule5)) -> rule1)) -> rule8)) -> rule4) OR ((((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5) ((((((triple5) -> rule7) triple3) -> rule5)) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple3) -> rule5) ((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5)) -> rule1)) -> rule8)) -> rule4) OR ((((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5) ((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5)) -> rule1)) -> rule8)) -> rule4))]
("mouse" "needs" "mouse" "+")
((((((triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
int3
((((((((triple5) -> (rule7 % int5)) triple3) -> (rule5 % int4)) ((((((triple5) -> (rule7 % int5)) triple3) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int3
The cat needs the cow.
("cat" "needs" "cow" "+")
int4
The cow sees the cow.
("cow" "sees" "cow" "+")
int5
((((((((((triple3) -> (rule3 % int6))) -> (rule7 % int5)) triple3) -> (rule5 % int4)) ((((((triple5) -> (rule7 % int5)) triple3) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int3
The cat needs the cow.
("cat" "needs" "cow" "+")
int4
The cow sees the cow.
("cow" "sees" "cow" "+")
int5
The cow is kind.
("cow" "is" "kind" "+")
int6
((((((((triple5) -> (rule7 % int6)) triple3) -> (rule5 % int5)) ((((((((triple3) -> (rule3 % int4))) -> (rule7 % int6)) triple3) -> (rule5 % int5))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
The cat needs the cow.
("cat" "needs" "cow" "+")
int5
The cow sees the cow.
("cow" "sees" "cow" "+")
int6
((((((((((triple3) -> (rule3 % int6))) -> (rule7 % int5)) triple3) -> (rule5 % int4)) ((((((((triple3) -> (rule3 % int6))) -> (rule7 % int5)) triple3) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int3
The cat needs the cow.
("cat" "needs" "cow" "+")
int4
The cow sees the cow.
("cow" "sees" "cow" "+")
int5
The cow is kind.
("cow" "is" "kind" "+")
int6
The cat does not chase the mouse.
False
5
inv-proof
[(((((((triple5) -> rule7) triple3) -> rule5)) -> rule1) OR ((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5)) -> rule1) OR ((((((((triple7) -> rule3)) -> rule7) triple7) -> rule5)) -> rule1))]
("cat" "chases" "mouse" "-")
((((((triple5) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2
The cow sees the cow.
("cow" "sees" "cow" "+")
int3
((((((((triple3) -> (rule3 % int4))) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2
The cow sees the cow.
("cow" "sees" "cow" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((((((triple7) -> (rule3 % int4))) -> (rule7 % int3)) triple7) -> (rule5 % int2))) -> (rule1 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int3
The mouse is kind.
("mouse" "is" "kind" "+")
int4
The cat sees the cow.
True
6
proof
[(((((((((triple5) -> rule7) triple3) -> rule5)) -> rule2)) -> rule7) OR ((((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5)) -> rule2)) -> rule7) OR ((((((((((triple7) -> rule3)) -> rule7) triple7) -> rule5)) -> rule2)) -> rule7))]
("cat" "sees" "cow" "+")
((((((((triple5) -> (rule7 % int4)) triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat sees the cow.
("cat" "sees" "cow" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat needs the cow.
("cat" "needs" "cow" "+")
int3
The cow sees the cow.
("cow" "sees" "cow" "+")
int4
((((((((((triple3) -> (rule3 % int5))) -> (rule7 % int4)) triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat sees the cow.
("cat" "sees" "cow" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat needs the cow.
("cat" "needs" "cow" "+")
int3
The cow sees the cow.
("cow" "sees" "cow" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
((((((((((triple7) -> (rule3 % int5))) -> (rule7 % int4)) triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat sees the cow.
("cat" "sees" "cow" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat needs the cow.
("cat" "needs" "cow" "+")
int3
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int4
The mouse is kind.
("mouse" "is" "kind" "+")
int5
The cat does not see the cow.
False
6
inv-proof
[(((((((((triple5) -> rule7) triple3) -> rule5)) -> rule2)) -> rule7) OR ((((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5)) -> rule2)) -> rule7) OR ((((((((((triple7) -> rule3)) -> rule7) triple7) -> rule5)) -> rule2)) -> rule7))]
("cat" "sees" "cow" "-")
((((((((triple5) -> (rule7 % int4)) triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat sees the cow.
("cat" "sees" "cow" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat needs the cow.
("cat" "needs" "cow" "+")
int3
The cow sees the cow.
("cow" "sees" "cow" "+")
int4
((((((((((triple3) -> (rule3 % int5))) -> (rule7 % int4)) triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat sees the cow.
("cat" "sees" "cow" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat needs the cow.
("cat" "needs" "cow" "+")
int3
The cow sees the cow.
("cow" "sees" "cow" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
((((((((((triple7) -> (rule3 % int5))) -> (rule7 % int4)) triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat sees the cow.
("cat" "sees" "cow" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat needs the cow.
("cat" "needs" "cow" "+")
int3
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int4
The mouse is kind.
("mouse" "is" "kind" "+")
int5
The cat needs the mouse.
True
7
proof
[(((((((((((triple5) -> rule7) triple3) -> rule5)) -> rule2)) -> rule7)) -> rule4) OR ((((((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5)) -> rule2)) -> rule7)) -> rule4) OR ((((((((((((triple7) -> rule3)) -> rule7) triple7) -> rule5)) -> rule2)) -> rule7)) -> rule4))]
("cat" "needs" "mouse" "+")
((((((((((triple5) -> (rule7 % int5)) triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat needs the cow.
("cat" "needs" "cow" "+")
int4
The cow sees the cow.
("cow" "sees" "cow" "+")
int5
((((((((((((triple3) -> (rule3 % int6))) -> (rule7 % int5)) triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat needs the cow.
("cat" "needs" "cow" "+")
int4
The cow sees the cow.
("cow" "sees" "cow" "+")
int5
The cow is kind.
("cow" "is" "kind" "+")
int6
((((((((((((triple7) -> (rule3 % int6))) -> (rule7 % int5)) triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat needs the cow.
("cat" "needs" "cow" "+")
int4
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int5
The mouse is kind.
("mouse" "is" "kind" "+")
int6
The cat does not need the mouse.
False
7
inv-proof
[(((((((((((triple5) -> rule7) triple3) -> rule5)) -> rule2)) -> rule7)) -> rule4) OR ((((((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5)) -> rule2)) -> rule7)) -> rule4) OR ((((((((((((triple7) -> rule3)) -> rule7) triple7) -> rule5)) -> rule2)) -> rule7)) -> rule4))]
("cat" "needs" "mouse" "-")
((((((((((triple5) -> (rule7 % int5)) triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat needs the cow.
("cat" "needs" "cow" "+")
int4
The cow sees the cow.
("cow" "sees" "cow" "+")
int5
((((((((((((triple3) -> (rule3 % int6))) -> (rule7 % int5)) triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat needs the cow.
("cat" "needs" "cow" "+")
int4
The cow sees the cow.
("cow" "sees" "cow" "+")
int5
The cow is kind.
("cow" "is" "kind" "+")
int6
((((((((((((triple7) -> (rule3 % int6))) -> (rule7 % int5)) triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat needs the cow.
("cat" "needs" "cow" "+")
int4
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int5
The mouse is kind.
("mouse" "is" "kind" "+")
int6
The squirrel does not need the mouse.
Unknown
inv-rconc
[@3: The squirrel needs the mouse.[CWA. Example of deepest failure = (rule4 <- rule7 <- rule2 <- FAIL)]]
("squirrel" "needs" "mouse" "-")
The squirrel sees the cow.
Unknown
rconc
[@2: The squirrel sees the cow.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("squirrel" "sees" "cow" "+")
The squirrel is not kind.
Unknown
inv-rconc
[@1: The squirrel is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "kind" "-")
The cat sees the mouse.
Unknown
random
[@0: The cat sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "mouse" "+")
The squirrel is not blue.
Unknown
inv-random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "-")
The mouse is blue.
Unknown
random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "+")
The cat is not young.
Unknown
inv-random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
The cat is not round.
Unknown
inv-random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "-")
The squirrel sees the mouse.
Unknown
random
[@0: The squirrel sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "mouse" "+")
@0: The cat does not chase the squirrel.[(triple1)] The cat is blue.[(triple2)] The cow chases the cat.[(triple3)] The cow chases the squirrel.[(triple4)] The cow is kind.[(triple5 OR ((triple3) -> rule3))] The cow is not young.[(triple6)] The mouse chases the cat.[(triple7)] The mouse needs the cat.[(triple8)] The mouse sees the cat.[(triple9)] The mouse sees the squirrel.[(triple10)] The squirrel chases the cow.[(triple12)] The squirrel does not chase the cat.[(triple11)] The squirrel is not round.[(triple13)] The squirrel is young.[(triple14)] @1: The cow sees the cow.[(((triple5) -> rule7) OR ((((triple3) -> rule3)) -> rule7))] The mouse is kind.[(((triple7) -> rule3))] @2: The cat needs the cow.[(((((triple5) -> rule7) triple3) -> rule5) OR ((((((triple3) -> rule3)) -> rule7) triple3) -> rule5) OR ((((((triple7) -> rule3)) -> rule7) triple7) -> rule5))] The cow needs the mouse.[(((((triple5) -> rule7)) -> rule4) OR ((((((triple3) -> rule3)) -> rule7)) -> rule4))] The mouse sees the cow.[(((((triple7) -> rule3)) -> rule7) OR ((((((triple5) -> rule7) triple3) -> rule5) ((((((triple5) -> rule7) triple3) -> rule5)) -> rule1)) -> rule8) OR ((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5) ((((((triple5) -> rule7) triple3) -> rule5)) -> rule1)) -> rule8) OR ((((((triple5) -> rule7) triple3) -> rule5) ((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5)) -> rule1)) -> rule8) OR ((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5) ((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5)) -> rule1)) -> rule8))] @3: The cat chases the mouse.[(((((((triple5) -> rule7) triple3) -> rule5)) -> rule1) OR ((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5)) -> rule1) OR ((((((((triple7) -> rule3)) -> rule7) triple7) -> rule5)) -> rule1))] The cat is kind.[(((((((triple5) -> rule7) triple3) -> rule5)) -> rule2) OR ((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5)) -> rule2) OR ((((((((triple7) -> rule3)) -> rule7) triple7) -> rule5)) -> rule2))] The mouse needs the mouse.[(((((((triple7) -> rule3)) -> rule7)) -> rule4) OR ((((((((triple5) -> rule7) triple3) -> rule5) ((((((triple5) -> rule7) triple3) -> rule5)) -> rule1)) -> rule8)) -> rule4) OR ((((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5) ((((((triple5) -> rule7) triple3) -> rule5)) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple3) -> rule5) ((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5)) -> rule1)) -> rule8)) -> rule4) OR ((((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5) ((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5)) -> rule1)) -> rule8)) -> rule4))] @4: The cat sees the cow.[(((((((((triple5) -> rule7) triple3) -> rule5)) -> rule2)) -> rule7) OR ((((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5)) -> rule2)) -> rule7) OR ((((((((((triple7) -> rule3)) -> rule7) triple7) -> rule5)) -> rule2)) -> rule7))] @5: The cat needs the mouse.[(((((((((((triple5) -> rule7) triple3) -> rule5)) -> rule2)) -> rule7)) -> rule4) OR ((((((((((((triple3) -> rule3)) -> rule7) triple3) -> rule5)) -> rule2)) -> rule7)) -> rule4) OR ((((((((((((triple7) -> rule3)) -> rule7) triple7) -> rule5)) -> rule2)) -> rule7)) -> rule4))]
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
triple1
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cow chases the cat.
("cow" "chases" "cat" "+")
triple3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple4
The cow is kind.
("cow" "is" "kind" "+")
triple5
((triple3) -> (rule3 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is not young.
("cow" "is" "young" "-")
triple6
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple7
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple8
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple9
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple10
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple12
The squirrel does not chase the cat.
("squirrel" "chases" "cat" "-")
triple11
The squirrel is not round.
("squirrel" "is" "round" "-")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple5) -> (rule7 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule7 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
((triple7) -> (rule3 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
((((triple5) -> (rule7 % int2)) triple3) -> (rule5 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
((((((triple3) -> (rule3 % int3))) -> (rule7 % int2)) triple3) -> (rule5 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
((((((triple7) -> (rule3 % int3))) -> (rule7 % int2)) triple7) -> (rule5 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
int3
The cow needs the mouse.
("cow" "needs" "mouse" "+")
((((triple5) -> (rule7 % int2))) -> (rule4 % int1))
The cow needs the mouse.
("cow" "needs" "mouse" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
((((((triple3) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cow needs the mouse.
("cow" "needs" "mouse" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The mouse sees the cow.
("mouse" "sees" "cow" "+")
((((triple7) -> (rule3 % int2))) -> (rule7 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
((((((triple5) -> (rule7 % int4)) triple3) -> (rule5 % int3)) ((((((triple5) -> (rule7 % int4)) triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int2
The cat needs the cow.
("cat" "needs" "cow" "+")
int3
The cow sees the cow.
("cow" "sees" "cow" "+")
int4
((((((((triple3) -> (rule3 % int5))) -> (rule7 % int4)) triple3) -> (rule5 % int3)) ((((((triple5) -> (rule7 % int4)) triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int2
The cat needs the cow.
("cat" "needs" "cow" "+")
int3
The cow sees the cow.
("cow" "sees" "cow" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
((((((triple5) -> (rule7 % int5)) triple3) -> (rule5 % int4)) ((((((((triple3) -> (rule3 % int3))) -> (rule7 % int5)) triple3) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule8 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cat needs the cow.
("cat" "needs" "cow" "+")
int4
The cow sees the cow.
("cow" "sees" "cow" "+")
int5
((((((((triple3) -> (rule3 % int5))) -> (rule7 % int4)) triple3) -> (rule5 % int3)) ((((((((triple3) -> (rule3 % int5))) -> (rule7 % int4)) triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int2
The cat needs the cow.
("cat" "needs" "cow" "+")
int3
The cow sees the cow.
("cow" "sees" "cow" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
The cat chases the mouse.
("cat" "chases" "mouse" "+")
((((((triple5) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2
The cow sees the cow.
("cow" "sees" "cow" "+")
int3
((((((((triple3) -> (rule3 % int4))) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2
The cow sees the cow.
("cow" "sees" "cow" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((((((triple7) -> (rule3 % int4))) -> (rule7 % int3)) triple7) -> (rule5 % int2))) -> (rule1 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int3
The mouse is kind.
("mouse" "is" "kind" "+")
int4
The cat is kind.
("cat" "is" "kind" "+")
((((((triple5) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2
The cow sees the cow.
("cow" "sees" "cow" "+")
int3
((((((((triple3) -> (rule3 % int4))) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2
The cow sees the cow.
("cow" "sees" "cow" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((((((triple7) -> (rule3 % int4))) -> (rule7 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int3
The mouse is kind.
("mouse" "is" "kind" "+")
int4
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((((((triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
int3
((((((((triple5) -> (rule7 % int5)) triple3) -> (rule5 % int4)) ((((((triple5) -> (rule7 % int5)) triple3) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int3
The cat needs the cow.
("cat" "needs" "cow" "+")
int4
The cow sees the cow.
("cow" "sees" "cow" "+")
int5
((((((((((triple3) -> (rule3 % int6))) -> (rule7 % int5)) triple3) -> (rule5 % int4)) ((((((triple5) -> (rule7 % int5)) triple3) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int3
The cat needs the cow.
("cat" "needs" "cow" "+")
int4
The cow sees the cow.
("cow" "sees" "cow" "+")
int5
The cow is kind.
("cow" "is" "kind" "+")
int6
((((((((triple5) -> (rule7 % int6)) triple3) -> (rule5 % int5)) ((((((((triple3) -> (rule3 % int4))) -> (rule7 % int6)) triple3) -> (rule5 % int5))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
The cat needs the cow.
("cat" "needs" "cow" "+")
int5
The cow sees the cow.
("cow" "sees" "cow" "+")
int6
((((((((((triple3) -> (rule3 % int6))) -> (rule7 % int5)) triple3) -> (rule5 % int4)) ((((((((triple3) -> (rule3 % int6))) -> (rule7 % int5)) triple3) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int3
The cat needs the cow.
("cat" "needs" "cow" "+")
int4
The cow sees the cow.
("cow" "sees" "cow" "+")
int5
The cow is kind.
("cow" "is" "kind" "+")
int6
The cat sees the cow.
("cat" "sees" "cow" "+")
((((((((triple5) -> (rule7 % int4)) triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat sees the cow.
("cat" "sees" "cow" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat needs the cow.
("cat" "needs" "cow" "+")
int3
The cow sees the cow.
("cow" "sees" "cow" "+")
int4
((((((((((triple3) -> (rule3 % int5))) -> (rule7 % int4)) triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat sees the cow.
("cat" "sees" "cow" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat needs the cow.
("cat" "needs" "cow" "+")
int3
The cow sees the cow.
("cow" "sees" "cow" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
((((((((((triple7) -> (rule3 % int5))) -> (rule7 % int4)) triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat sees the cow.
("cat" "sees" "cow" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat needs the cow.
("cat" "needs" "cow" "+")
int3
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int4
The mouse is kind.
("mouse" "is" "kind" "+")
int5
The cat needs the mouse.
("cat" "needs" "mouse" "+")
((((((((((triple5) -> (rule7 % int5)) triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat needs the cow.
("cat" "needs" "cow" "+")
int4
The cow sees the cow.
("cow" "sees" "cow" "+")
int5
((((((((((((triple3) -> (rule3 % int6))) -> (rule7 % int5)) triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat needs the cow.
("cat" "needs" "cow" "+")
int4
The cow sees the cow.
("cow" "sees" "cow" "+")
int5
The cow is kind.
("cow" "is" "kind" "+")
int6
((((((((((((triple7) -> (rule3 % int6))) -> (rule7 % int5)) triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat needs the cow.
("cat" "needs" "cow" "+")
int4
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int5
The mouse is kind.
("mouse" "is" "kind" "+")
int6