The bear eats the squirrel. The bear is nice. The bear is young. The bear sees the lion. The lion does not eat the bear. The lion is not young. The mouse is nice. The mouse does not see the bear. The squirrel eats the bear. The squirrel does not eat the mouse. If something sees the squirrel then the squirrel is young. If something is red then it chases the lion. If something sees the bear then the bear sees the mouse. If the lion is nice then the lion chases the mouse. If something is nice and it sees the squirrel then it does not chase the mouse. If something is young then it sees the lion. If something is nice and blue then it sees the squirrel. If something is young and it sees the lion then it is red. If the bear is red then the bear sees the squirrel.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The lion does not eat the bear.
("lion" "eats" "bear" "-")
The lion is not young.
("lion" "is" "young" "-")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse does not see the bear.
("mouse" "sees" "bear" "-")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
If something sees the squirrel then the squirrel is young.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
If something is red then it chases the lion.
((("something" "is" "red" "+")) -> ("something" "chases" "lion" "+"))
If something sees the bear then the bear sees the mouse.
((("something" "sees" "bear" "+")) -> ("bear" "sees" "mouse" "+"))
If the lion is nice then the lion chases the mouse.
((("lion" "is" "nice" "+")) -> ("lion" "chases" "mouse" "+"))
If something is nice and it sees the squirrel then it does not chase the mouse.
((("something" "is" "nice" "+") ("something" "sees" "squirrel" "+")) -> ("something" "chases" "mouse" "-"))
If something is young then it sees the lion.
((("something" "is" "young" "+")) -> ("something" "sees" "lion" "+"))
If something is nice and blue then it sees the squirrel.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "sees" "squirrel" "+"))
If something is young and it sees the lion then it is red.
((("something" "is" "young" "+") ("something" "sees" "lion" "+")) -> ("something" "is" "red" "+"))
If the bear is red then the bear sees the squirrel.
((("bear" "is" "red" "+")) -> ("bear" "sees" "squirrel" "+"))
The squirrel does not eat the mouse.
True
1
proof
[(triple10)]
("squirrel" "eats" "mouse" "-")
triple10
The bear does not see the lion.
False
1
inv-proof
[(triple4 OR ((triple3) -> rule6))]
("bear" "sees" "lion" "-")
triple4
((triple3) -> (rule6 % int1))
The bear sees the lion.
("bear" "sees" "lion" "+")
int1
The bear is red.
True
3
proof
[(((triple3 triple4) -> rule8) OR ((triple3 ((triple3) -> rule6)) -> rule8))]
("bear" "is" "red" "+")
((triple3 triple4) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
((triple3 ((triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
int2
The bear is not red.
False
3
inv-proof
[(((triple3 triple4) -> rule8) OR ((triple3 ((triple3) -> rule6)) -> rule8))]
("bear" "is" "red" "-")
((triple3 triple4) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
((triple3 ((triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
int2
The bear sees the squirrel.
True
4
proof
[(((((triple3 triple4) -> rule8)) -> rule9) OR ((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9))]
("bear" "sees" "squirrel" "+")
((((triple3 triple4) -> (rule8 % int2))) -> (rule9 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear sees the lion.
("bear" "sees" "lion" "+")
int3
The bear does not chase the lion.
False
4
inv-proof
[(((((triple3 triple4) -> rule8)) -> rule2) OR ((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule2))]
("bear" "chases" "lion" "-")
((((triple3 triple4) -> (rule8 % int2))) -> (rule2 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear sees the lion.
("bear" "sees" "lion" "+")
int3
The bear does not chase the mouse.
True
6
proof
[(((triple2 ((((triple3 triple4) -> rule8)) -> rule9)) -> rule5) OR ((triple2 ((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule5))]
("bear" "chases" "mouse" "-")
((triple2 ((((triple3 triple4) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
((triple2 ((((triple3 ((triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear sees the lion.
("bear" "sees" "lion" "+")
int4
The squirrel is not young.
False
5
inv-proof
[(((((((triple3 triple4) -> rule8)) -> rule9)) -> rule1) OR ((((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1))]
("squirrel" "is" "young" "-")
((((((triple3 triple4) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
((((((triple3 ((triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear sees the lion.
("bear" "sees" "lion" "+")
int4
The squirrel sees the lion.
True
6
proof
[(((((((((triple3 triple4) -> rule8)) -> rule9)) -> rule1)) -> rule6) OR ((((((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule6))]
("squirrel" "sees" "lion" "+")
((((((((triple3 triple4) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int3
The bear is red.
("bear" "is" "red" "+")
int4
((((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int3
The bear is red.
("bear" "is" "red" "+")
int4
The bear sees the lion.
("bear" "sees" "lion" "+")
int5
The squirrel does not see the lion.
False
6
inv-proof
[(((((((((triple3 triple4) -> rule8)) -> rule9)) -> rule1)) -> rule6) OR ((((((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule6))]
("squirrel" "sees" "lion" "-")
((((((((triple3 triple4) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int3
The bear is red.
("bear" "is" "red" "+")
int4
((((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int3
The bear is red.
("bear" "is" "red" "+")
int4
The bear sees the lion.
("bear" "sees" "lion" "+")
int5
The squirrel is red.
True
12
proof
[(((((((((triple3 triple4) -> rule8)) -> rule9)) -> rule1) ((((((((triple3 triple4) -> rule8)) -> rule9)) -> rule1)) -> rule6)) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1) ((((((((triple3 triple4) -> rule8)) -> rule9)) -> rule1)) -> rule6)) -> rule8) OR ((((((((triple3 triple4) -> rule8)) -> rule9)) -> rule1) ((((((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule6)) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1) ((((((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule6)) -> rule8))]
("squirrel" "is" "red" "+")
((((((((triple3 triple4) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3)) ((((((((triple3 triple4) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int4
The bear is red.
("bear" "is" "red" "+")
int5
((((((((triple3 ((triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3)) ((((((((triple3 triple4) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int4
The bear is red.
("bear" "is" "red" "+")
int5
The bear sees the lion.
("bear" "sees" "lion" "+")
int6
((((((((triple3 triple4) -> (rule8 % int6))) -> (rule9 % int5))) -> (rule1 % int4)) ((((((((triple3 ((triple3) -> (rule6 % int3))) -> (rule8 % int6))) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int2
The bear sees the lion.
("bear" "sees" "lion" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int5
The bear is red.
("bear" "is" "red" "+")
int6
((((((((triple3 ((triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3)) ((((((((triple3 ((triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int4
The bear is red.
("bear" "is" "red" "+")
int5
The bear sees the lion.
("bear" "sees" "lion" "+")
int6
The squirrel is not red.
False
12
inv-proof
[(((((((((triple3 triple4) -> rule8)) -> rule9)) -> rule1) ((((((((triple3 triple4) -> rule8)) -> rule9)) -> rule1)) -> rule6)) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1) ((((((((triple3 triple4) -> rule8)) -> rule9)) -> rule1)) -> rule6)) -> rule8) OR ((((((((triple3 triple4) -> rule8)) -> rule9)) -> rule1) ((((((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule6)) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1) ((((((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule6)) -> rule8))]
("squirrel" "is" "red" "-")
((((((((triple3 triple4) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3)) ((((((((triple3 triple4) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int4
The bear is red.
("bear" "is" "red" "+")
int5
((((((((triple3 ((triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3)) ((((((((triple3 triple4) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int4
The bear is red.
("bear" "is" "red" "+")
int5
The bear sees the lion.
("bear" "sees" "lion" "+")
int6
((((((((triple3 triple4) -> (rule8 % int6))) -> (rule9 % int5))) -> (rule1 % int4)) ((((((((triple3 ((triple3) -> (rule6 % int3))) -> (rule8 % int6))) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int2
The bear sees the lion.
("bear" "sees" "lion" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int5
The bear is red.
("bear" "is" "red" "+")
int6
((((((((triple3 ((triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3)) ((((((((triple3 ((triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int4
The bear is red.
("bear" "is" "red" "+")
int5
The bear sees the lion.
("bear" "sees" "lion" "+")
int6
The lion does not see the squirrel.
Unknown
inv-rconc
[@1: The lion sees the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "sees" "squirrel" "-")
The lion is red.
Unknown
rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "is" "red" "+")
The mouse does not see the lion.
Unknown
inv-rconc
[@1: The mouse sees the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "sees" "lion" "-")
The mouse chases the lion.
Unknown
rconc
[@2: The mouse chases the lion.[CWA. Example of deepest failure = (rule2 <- rule8 <- FAIL)]]
("mouse" "chases" "lion" "+")
The squirrel does not see the squirrel.
Unknown
inv-rconc
[@1: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "sees" "squirrel" "-")
The bear sees the mouse.
Unknown
rconc
[@1: The bear sees the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "sees" "mouse" "+")
The lion does not see the bear.
Unknown
inv-random
[@0: The lion sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "bear" "-")
The bear eats the lion.
Unknown
random
[@0: The bear eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "lion" "+")
The bear does not chase the squirrel.
Unknown
inv-random
[@0: The bear chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "squirrel" "-")
The mouse eats the bear.
Unknown
random
[@0: The mouse eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bear" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
@0: The bear eats the squirrel.[(triple1)] The bear is nice.[(triple2)] The bear is young.[(triple3)] The bear sees the lion.[(triple4 OR ((triple3) -> rule6))] The lion does not eat the bear.[(triple5)] The lion is not young.[(triple6)] The mouse does not see the bear.[(triple8)] The mouse is nice.[(triple7)] The squirrel does not eat the mouse.[(triple10)] The squirrel eats the bear.[(triple9)] @1: The bear is red.[(((triple3 triple4) -> rule8) OR ((triple3 ((triple3) -> rule6)) -> rule8))] @2: The bear chases the lion.[(((((triple3 triple4) -> rule8)) -> rule2) OR ((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule2))] The bear sees the squirrel.[(((((triple3 triple4) -> rule8)) -> rule9) OR ((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9))] @3: The bear does not chase the mouse.[(((triple2 ((((triple3 triple4) -> rule8)) -> rule9)) -> rule5) OR ((triple2 ((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule5))] The squirrel is young.[(((((((triple3 triple4) -> rule8)) -> rule9)) -> rule1) OR ((((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1))] @4: The squirrel sees the lion.[(((((((((triple3 triple4) -> rule8)) -> rule9)) -> rule1)) -> rule6) OR ((((((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule6))] @5: The squirrel is red.[(((((((((triple3 triple4) -> rule8)) -> rule9)) -> rule1) ((((((((triple3 triple4) -> rule8)) -> rule9)) -> rule1)) -> rule6)) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1) ((((((((triple3 triple4) -> rule8)) -> rule9)) -> rule1)) -> rule6)) -> rule8) OR ((((((((triple3 triple4) -> rule8)) -> rule9)) -> rule1) ((((((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule6)) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1) ((((((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule6)) -> rule8))] @6: The squirrel chases the lion.[(((((((((((triple3 triple4) -> rule8)) -> rule9)) -> rule1) ((((((((triple3 triple4) -> rule8)) -> rule9)) -> rule1)) -> rule6)) -> rule8)) -> rule2) OR ((((((((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1) ((((((((triple3 triple4) -> rule8)) -> rule9)) -> rule1)) -> rule6)) -> rule8)) -> rule2) OR ((((((((((triple3 triple4) -> rule8)) -> rule9)) -> rule1) ((((((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule6)) -> rule8)) -> rule2) OR ((((((((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1) ((((((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule9)) -> rule1)) -> rule6)) -> rule8)) -> rule2))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The bear sees the lion.
("bear" "sees" "lion" "+")
triple4
((triple3) -> (rule6 % int1))
The bear sees the lion.
("bear" "sees" "lion" "+")
int1
The lion does not eat the bear.
("lion" "eats" "bear" "-")
triple5
The lion is not young.
("lion" "is" "young" "-")
triple6
The mouse does not see the bear.
("mouse" "sees" "bear" "-")
triple8
The mouse is nice.
("mouse" "is" "nice" "+")
triple7
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
triple10
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple9
The bear is red.
("bear" "is" "red" "+")
((triple3 triple4) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
((triple3 ((triple3) -> (rule6 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
int2
The bear chases the lion.
("bear" "chases" "lion" "+")
((((triple3 triple4) -> (rule8 % int2))) -> (rule2 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear sees the lion.
("bear" "sees" "lion" "+")
int3
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
((((triple3 triple4) -> (rule8 % int2))) -> (rule9 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear sees the lion.
("bear" "sees" "lion" "+")
int3
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
((triple2 ((((triple3 triple4) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
((triple2 ((((triple3 ((triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear sees the lion.
("bear" "sees" "lion" "+")
int4
The squirrel is young.
("squirrel" "is" "young" "+")
((((((triple3 triple4) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
((((((triple3 ((triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear sees the lion.
("bear" "sees" "lion" "+")
int4
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
((((((((triple3 triple4) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int3
The bear is red.
("bear" "is" "red" "+")
int4
((((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int3
The bear is red.
("bear" "is" "red" "+")
int4
The bear sees the lion.
("bear" "sees" "lion" "+")
int5
The squirrel is red.
("squirrel" "is" "red" "+")
((((((((triple3 triple4) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3)) ((((((((triple3 triple4) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int4
The bear is red.
("bear" "is" "red" "+")
int5
((((((((triple3 ((triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3)) ((((((((triple3 triple4) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int4
The bear is red.
("bear" "is" "red" "+")
int5
The bear sees the lion.
("bear" "sees" "lion" "+")
int6
((((((((triple3 triple4) -> (rule8 % int6))) -> (rule9 % int5))) -> (rule1 % int4)) ((((((((triple3 ((triple3) -> (rule6 % int3))) -> (rule8 % int6))) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int2
The bear sees the lion.
("bear" "sees" "lion" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int5
The bear is red.
("bear" "is" "red" "+")
int6
((((((((triple3 ((triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3)) ((((((((triple3 ((triple3) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int4
The bear is red.
("bear" "is" "red" "+")
int5
The bear sees the lion.
("bear" "sees" "lion" "+")
int6
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
((((((((((triple3 triple4) -> (rule8 % int6))) -> (rule9 % int5))) -> (rule1 % int4)) ((((((((triple3 triple4) -> (rule8 % int6))) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int5
The bear is red.
("bear" "is" "red" "+")
int6
((((((((((triple3 ((triple3) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule9 % int5))) -> (rule1 % int4)) ((((((((triple3 triple4) -> (rule8 % int6))) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int5
The bear is red.
("bear" "is" "red" "+")
int6
The bear sees the lion.
("bear" "sees" "lion" "+")
int7
((((((((((triple3 triple4) -> (rule8 % int7))) -> (rule9 % int6))) -> (rule1 % int5)) ((((((((triple3 ((triple3) -> (rule6 % int4))) -> (rule8 % int7))) -> (rule9 % int6))) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int3
The bear sees the lion.
("bear" "sees" "lion" "+")
int4
The squirrel is young.
("squirrel" "is" "young" "+")
int5
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int6
The bear is red.
("bear" "is" "red" "+")
int7
((((((((((triple3 ((triple3) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule9 % int5))) -> (rule1 % int4)) ((((((((triple3 ((triple3) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int5
The bear is red.
("bear" "is" "red" "+")
int6
The bear sees the lion.
("bear" "sees" "lion" "+")
int7