The bald eagle chases the squirrel. The bald eagle eats the tiger. The bald eagle is green. The mouse chases the bald eagle. The mouse eats the squirrel. The mouse eats the tiger. The squirrel eats the tiger. The squirrel is red. The squirrel is young. The tiger chases the mouse. If something chases the tiger then it eats the bald eagle. Blue things are young. If something chases the mouse and it chases the bald eagle then the mouse is blue. If something is kind then it eats the squirrel. If something is blue then it sees the tiger. If something eats the tiger then it chases the mouse. If something chases the mouse and the mouse sees the tiger then the tiger is kind.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
If something chases the tiger then it eats the bald eagle.
((("something" "chases" "tiger" "+")) -> ("something" "eats" "bald eagle" "+"))
Blue things are young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If something chases the mouse and it chases the bald eagle then the mouse is blue.
((("something" "chases" "mouse" "+") ("something" "chases" "bald eagle" "+")) -> ("mouse" "is" "blue" "+"))
If something is kind then it eats the squirrel.
((("something" "is" "kind" "+")) -> ("something" "eats" "squirrel" "+"))
If something is blue then it sees the tiger.
((("something" "is" "blue" "+")) -> ("something" "sees" "tiger" "+"))
If something eats the tiger then it chases the mouse.
((("something" "eats" "tiger" "+")) -> ("something" "chases" "mouse" "+"))
If something chases the mouse and the mouse sees the tiger then the tiger is kind.
((("something" "chases" "mouse" "+") ("mouse" "sees" "tiger" "+")) -> ("tiger" "is" "kind" "+"))
The tiger chases the mouse.
True
1
proof
[(triple10)]
("tiger" "chases" "mouse" "+")
triple10
The squirrel is not young.
False
1
inv-proof
[(triple9)]
("squirrel" "is" "young" "-")
triple9
The mouse chases the mouse.
True
2
proof
[(((triple6) -> rule6))]
("mouse" "chases" "mouse" "+")
((triple6) -> (rule6 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The bald eagle does not chase the mouse.
False
2
inv-proof
[(((triple2) -> rule6))]
("bald eagle" "chases" "mouse" "-")
((triple2) -> (rule6 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The mouse is blue.
True
4
proof
[(((((triple6) -> rule6) triple4) -> rule3))]
("mouse" "is" "blue" "+")
((((triple6) -> (rule6 % int2)) triple4) -> (rule3 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is not blue.
False
4
inv-proof
[(((((triple6) -> rule6) triple4) -> rule3))]
("mouse" "is" "blue" "-")
((((triple6) -> (rule6 % int2)) triple4) -> (rule3 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse sees the tiger.
True
5
proof
[(((((((triple6) -> rule6) triple4) -> rule3)) -> rule5))]
("mouse" "sees" "tiger" "+")
((((((triple6) -> (rule6 % int3)) triple4) -> (rule3 % int2))) -> (rule5 % int1))
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse does not see the tiger.
False
5
inv-proof
[(((((((triple6) -> rule6) triple4) -> rule3)) -> rule5))]
("mouse" "sees" "tiger" "-")
((((((triple6) -> (rule6 % int3)) triple4) -> (rule3 % int2))) -> (rule5 % int1))
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The tiger is kind.
True
7
proof
[(((triple10 ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7) OR ((((triple2) -> rule6) ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7) OR ((((triple6) -> rule6) ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7) OR ((((triple7) -> rule6) ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7))]
("tiger" "is" "kind" "+")
((triple10 ((((((triple6) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
((((triple2) -> (rule6 % int5)) ((((((triple6) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int5
((((triple6) -> (rule6 % int4)) ((((((triple6) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
((((triple7) -> (rule6 % int5)) ((((((triple6) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int5
The tiger is not kind.
False
7
inv-proof
[(((triple10 ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7) OR ((((triple2) -> rule6) ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7) OR ((((triple6) -> rule6) ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7) OR ((((triple7) -> rule6) ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7))]
("tiger" "is" "kind" "-")
((triple10 ((((((triple6) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
((((triple2) -> (rule6 % int5)) ((((((triple6) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int5
((((triple6) -> (rule6 % int4)) ((((((triple6) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
((((triple7) -> (rule6 % int5)) ((((((triple6) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int5
The tiger eats the squirrel.
True
8
proof
[(((((triple10 ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7)) -> rule4) OR ((((((triple2) -> rule6) ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7)) -> rule4) OR ((((((triple6) -> rule6) ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7)) -> rule4) OR ((((((triple7) -> rule6) ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7)) -> rule4))]
("tiger" "eats" "squirrel" "+")
((((triple10 ((((((triple6) -> (rule6 % int5)) triple4) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int5
((((((triple2) -> (rule6 % int6)) ((((((triple6) -> (rule6 % int5)) triple4) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int5
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int6
((((((triple6) -> (rule6 % int5)) ((((((triple6) -> (rule6 % int5)) triple4) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int5
((((((triple7) -> (rule6 % int6)) ((((((triple6) -> (rule6 % int5)) triple4) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int5
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int6
The tiger does not eat the squirrel.
False
8
inv-proof
[(((((triple10 ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7)) -> rule4) OR ((((((triple2) -> rule6) ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7)) -> rule4) OR ((((((triple6) -> rule6) ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7)) -> rule4) OR ((((((triple7) -> rule6) ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7)) -> rule4))]
("tiger" "eats" "squirrel" "-")
((((triple10 ((((((triple6) -> (rule6 % int5)) triple4) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int5
((((((triple2) -> (rule6 % int6)) ((((((triple6) -> (rule6 % int5)) triple4) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int5
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int6
((((((triple6) -> (rule6 % int5)) ((((((triple6) -> (rule6 % int5)) triple4) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int5
((((((triple7) -> (rule6 % int6)) ((((((triple6) -> (rule6 % int5)) triple4) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int5
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int6
The tiger does not see the tiger.
Unknown
inv-rconc
[@1: The tiger sees the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "sees" "tiger" "-")
The squirrel eats the bald eagle.
Unknown
rconc
[@1: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "eats" "bald eagle" "+")
The mouse does not eat the bald eagle.
Unknown
inv-rconc
[@1: The mouse eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "eats" "bald eagle" "-")
The bald eagle is young.
Unknown
rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "young" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle eats the squirrel.
Unknown
rconc
[@1: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "eats" "squirrel" "+")
The bald eagle does not eat the mouse.
Unknown
inv-random
[@0: The bald eagle eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "mouse" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
The mouse does not see the bald eagle.
Unknown
inv-random
[@0: The mouse sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bald eagle" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
The squirrel does not eat the mouse.
Unknown
inv-random
[@0: The squirrel eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "mouse" "-")
The mouse is red.
Unknown
random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is green.[(triple3)] The mouse chases the bald eagle.[(triple4)] The mouse eats the squirrel.[(triple5)] The mouse eats the tiger.[(triple6)] The squirrel eats the tiger.[(triple7)] The squirrel is red.[(triple8)] The squirrel is young.[(triple9)] The tiger chases the mouse.[(triple10)] @1: The bald eagle chases the mouse.[(((triple2) -> rule6))] The mouse chases the mouse.[(((triple6) -> rule6))] The squirrel chases the mouse.[(((triple7) -> rule6))] @2: The mouse is blue.[(((((triple6) -> rule6) triple4) -> rule3))] @3: The mouse is young.[(((((((triple6) -> rule6) triple4) -> rule3)) -> rule2))] The mouse sees the tiger.[(((((((triple6) -> rule6) triple4) -> rule3)) -> rule5))] @4: The tiger is kind.[(((triple10 ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7) OR ((((triple2) -> rule6) ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7) OR ((((triple6) -> rule6) ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7) OR ((((triple7) -> rule6) ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7))] @5: The tiger eats the squirrel.[(((((triple10 ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7)) -> rule4) OR ((((((triple2) -> rule6) ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7)) -> rule4) OR ((((((triple6) -> rule6) ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7)) -> rule4) OR ((((((triple7) -> rule6) ((((((triple6) -> rule6) triple4) -> rule3)) -> rule5)) -> rule7)) -> rule4))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple4
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple5
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple6
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple7
The squirrel is red.
("squirrel" "is" "red" "+")
triple8
The squirrel is young.
("squirrel" "is" "young" "+")
triple9
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple10
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
((triple2) -> (rule6 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple6) -> (rule6 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
((triple7) -> (rule6 % int1))
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
((((triple6) -> (rule6 % int2)) triple4) -> (rule3 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is young.
("mouse" "is" "young" "+")
((((((triple6) -> (rule6 % int3)) triple4) -> (rule3 % int2))) -> (rule2 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
((((((triple6) -> (rule6 % int3)) triple4) -> (rule3 % int2))) -> (rule5 % int1))
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
((triple10 ((((((triple6) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
((((triple2) -> (rule6 % int5)) ((((((triple6) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int5
((((triple6) -> (rule6 % int4)) ((((((triple6) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
((((triple7) -> (rule6 % int5)) ((((((triple6) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int5
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
((((triple10 ((((((triple6) -> (rule6 % int5)) triple4) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int5
((((((triple2) -> (rule6 % int6)) ((((((triple6) -> (rule6 % int5)) triple4) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int5
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int6
((((((triple6) -> (rule6 % int5)) ((((((triple6) -> (rule6 % int5)) triple4) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int5
((((((triple7) -> (rule6 % int6)) ((((((triple6) -> (rule6 % int5)) triple4) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int5
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int6