The lion does not chase the squirrel. The lion is big. The lion is young. The lion sees the squirrel. The squirrel chases the lion. The squirrel is kind. The squirrel is round. The squirrel is young. The squirrel needs the lion. The squirrel sees the lion. If someone needs the squirrel then the squirrel needs the lion. If someone is young then they are kind. If someone sees the lion then the lion is round. If someone is kind and they need the lion then they need the squirrel. If someone needs the squirrel and the squirrel is young then the squirrel chases the lion. If someone sees the squirrel and the squirrel is young then they chase the lion. If someone chases the lion then they need the lion. If someone chases the lion and the lion sees the squirrel then they see the lion.
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
The lion is big.
("lion" "is" "big" "+")
The lion is young.
("lion" "is" "young" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
If someone needs the squirrel then the squirrel needs the lion.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "needs" "lion" "+"))
If someone is young then they are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone sees the lion then the lion is round.
((("someone" "sees" "lion" "+")) -> ("lion" "is" "round" "+"))
If someone is kind and they need the lion then they need the squirrel.
((("someone" "is" "kind" "+") ("someone" "needs" "lion" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone needs the squirrel and the squirrel is young then the squirrel chases the lion.
((("someone" "needs" "squirrel" "+") ("squirrel" "is" "young" "+")) -> ("squirrel" "chases" "lion" "+"))
If someone sees the squirrel and the squirrel is young then they chase the lion.
((("someone" "sees" "squirrel" "+") ("squirrel" "is" "young" "+")) -> ("someone" "chases" "lion" "+"))
If someone chases the lion then they need the lion.
((("someone" "chases" "lion" "+")) -> ("someone" "needs" "lion" "+"))
If someone chases the lion and the lion sees the squirrel then they see the lion.
((("someone" "chases" "lion" "+") ("lion" "sees" "squirrel" "+")) -> ("someone" "sees" "lion" "+"))
The squirrel sees the lion.
True
1
proof
[(triple10 OR ((triple5 triple4) -> rule8) OR ((((((triple6 triple9) -> rule4) triple8) -> rule5) triple4) -> rule8) OR ((((((((triple8) -> rule2) triple9) -> rule4) triple8) -> rule5) triple4) -> rule8) OR ((((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4) triple8) -> rule5) triple4) -> rule8) OR ((((((triple6 ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule4) triple8) -> rule5) triple4) -> rule8) OR ((((((((triple8) -> rule2) ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule4) triple8) -> rule5) triple4) -> rule8))]
("squirrel" "sees" "lion" "+")
triple10
((triple5 triple4) -> (rule8 % int1))
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int1
((((((triple6 triple9) -> (rule4 % int3)) triple8) -> (rule5 % int2)) triple4) -> (rule8 % int1))
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
((((((((triple8) -> (rule2 % int4)) triple9) -> (rule4 % int3)) triple8) -> (rule5 % int2)) triple4) -> (rule8 % int1))
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
((((((((triple3) -> (rule2 % int6)) ((((triple4 triple8) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) triple8) -> (rule5 % int2)) triple4) -> (rule8 % int1))
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int3
The lion needs the lion.
("lion" "needs" "lion" "+")
int4
The lion chases the lion.
("lion" "chases" "lion" "+")
int5
The lion is kind.
("lion" "is" "kind" "+")
int6
((((((triple6 ((((((triple3) -> (rule2 % int8)) ((((triple4 triple8) -> (rule6 % int7))) -> (rule7 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple8) -> (rule5 % int2)) triple4) -> (rule8 % int1))
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int4
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int5
The lion needs the lion.
("lion" "needs" "lion" "+")
int6
The lion chases the lion.
("lion" "chases" "lion" "+")
int7
The lion is kind.
("lion" "is" "kind" "+")
int8
((((((((triple8) -> (rule2 % int9)) ((((((triple3) -> (rule2 % int8)) ((((triple4 triple8) -> (rule6 % int7))) -> (rule7 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple8) -> (rule5 % int2)) triple4) -> (rule8 % int1))
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int4
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int5
The lion needs the lion.
("lion" "needs" "lion" "+")
int6
The lion chases the lion.
("lion" "chases" "lion" "+")
int7
The lion is kind.
("lion" "is" "kind" "+")
int8
The squirrel is kind.
("squirrel" "is" "kind" "+")
int9
The lion is not young.
False
1
inv-proof
[(triple3)]
("lion" "is" "young" "-")
triple3
The squirrel needs the squirrel.
True
3
proof
[(((triple6 triple9) -> rule4) OR ((triple6 ((triple5) -> rule7)) -> rule4) OR ((((triple8) -> rule2) triple9) -> rule4) OR ((((triple8) -> rule2) ((triple5) -> rule7)) -> rule4) OR ((triple6 ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule4) OR ((((triple8) -> rule2) ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule4) OR ((triple6 ((((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4) triple8) -> rule5)) -> rule7)) -> rule4) OR ((((triple8) -> rule2) ((((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4) triple8) -> rule5)) -> rule7)) -> rule4))]
("squirrel" "needs" "squirrel" "+")
((triple6 triple9) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
((triple6 ((triple5) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
((((triple8) -> (rule2 % int2)) triple9) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
((((triple8) -> (rule2 % int3)) ((triple5) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((triple6 ((((((triple3) -> (rule2 % int6)) ((((triple4 triple8) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int3
The lion needs the lion.
("lion" "needs" "lion" "+")
int4
The lion chases the lion.
("lion" "chases" "lion" "+")
int5
The lion is kind.
("lion" "is" "kind" "+")
int6
((((triple8) -> (rule2 % int7)) ((((((triple3) -> (rule2 % int6)) ((((triple4 triple8) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int3
The lion needs the lion.
("lion" "needs" "lion" "+")
int4
The lion chases the lion.
("lion" "chases" "lion" "+")
int5
The lion is kind.
("lion" "is" "kind" "+")
int6
The squirrel is kind.
("squirrel" "is" "kind" "+")
int7
((triple6 ((((((((triple3) -> (rule2 % int7)) ((((triple4 triple8) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) triple8) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int4
The lion needs the lion.
("lion" "needs" "lion" "+")
int5
The lion chases the lion.
("lion" "chases" "lion" "+")
int6
The lion is kind.
("lion" "is" "kind" "+")
int7
((((triple8) -> (rule2 % int8)) ((((((((triple3) -> (rule2 % int7)) ((((triple4 triple8) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) triple8) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int4
The lion needs the lion.
("lion" "needs" "lion" "+")
int5
The lion chases the lion.
("lion" "chases" "lion" "+")
int6
The lion is kind.
("lion" "is" "kind" "+")
int7
The squirrel is kind.
("squirrel" "is" "kind" "+")
int8
The lion does not chase the lion.
False
3
inv-proof
[(((triple4 triple8) -> rule6))]
("lion" "chases" "lion" "-")
((triple4 triple8) -> (rule6 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion sees the lion.
True
5
proof
[(((((triple4 triple8) -> rule6) triple4) -> rule8))]
("lion" "sees" "lion" "+")
((((triple4 triple8) -> (rule6 % int2)) triple4) -> (rule8 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion does not see the lion.
False
5
inv-proof
[(((((triple4 triple8) -> rule6) triple4) -> rule8))]
("lion" "sees" "lion" "-")
((((triple4 triple8) -> (rule6 % int2)) triple4) -> (rule8 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion needs the squirrel.
True
7
proof
[(((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4))]
("lion" "needs" "squirrel" "+")
((((triple3) -> (rule2 % int4)) ((((triple4 triple8) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
The lion is kind.
("lion" "is" "kind" "+")
int4
The lion does not need the squirrel.
False
7
inv-proof
[(((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4))]
("lion" "needs" "squirrel" "-")
((((triple3) -> (rule2 % int4)) ((((triple4 triple8) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
The lion is kind.
("lion" "is" "kind" "+")
int4
The squirrel is not cold.
Unknown
inv-random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "-")
The lion is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
The squirrel is not big.
Unknown
inv-random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The lion does not chase the squirrel.[(triple1)] The lion is big.[(triple2)] The lion is young.[(triple3)] The lion sees the squirrel.[(triple4)] The squirrel chases the lion.[(triple5 OR ((((triple6 triple9) -> rule4) triple8) -> rule5) OR ((((((triple8) -> rule2) triple9) -> rule4) triple8) -> rule5) OR ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4) triple8) -> rule5) OR ((((triple6 ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule4) triple8) -> rule5) OR ((((((triple8) -> rule2) ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule4) triple8) -> rule5))] The squirrel is kind.[(triple6 OR ((triple8) -> rule2))] The squirrel is round.[(triple7)] The squirrel is young.[(triple8)] The squirrel needs the lion.[(triple9 OR ((triple5) -> rule7) OR ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1) OR ((((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4) triple8) -> rule5)) -> rule7))] The squirrel sees the lion.[(triple10 OR ((triple5 triple4) -> rule8) OR ((((((triple6 triple9) -> rule4) triple8) -> rule5) triple4) -> rule8) OR ((((((((triple8) -> rule2) triple9) -> rule4) triple8) -> rule5) triple4) -> rule8) OR ((((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4) triple8) -> rule5) triple4) -> rule8) OR ((((((triple6 ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule4) triple8) -> rule5) triple4) -> rule8) OR ((((((((triple8) -> rule2) ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule4) triple8) -> rule5) triple4) -> rule8))] @1: The lion chases the lion.[(((triple4 triple8) -> rule6))] The lion is kind.[(((triple3) -> rule2))] The lion is round.[(((triple10) -> rule3) OR ((((triple5 triple4) -> rule8)) -> rule3) OR ((((((triple4 triple8) -> rule6) triple4) -> rule8)) -> rule3) OR ((((((((triple6 triple9) -> rule4) triple8) -> rule5) triple4) -> rule8)) -> rule3) OR ((((((((((triple8) -> rule2) triple9) -> rule4) triple8) -> rule5) triple4) -> rule8)) -> rule3) OR ((((((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4) triple8) -> rule5) triple4) -> rule8)) -> rule3) OR ((((((((triple6 ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule4) triple8) -> rule5) triple4) -> rule8)) -> rule3) OR ((((((((((triple8) -> rule2) ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule4) triple8) -> rule5) triple4) -> rule8)) -> rule3))] The squirrel needs the squirrel.[(((triple6 triple9) -> rule4) OR ((triple6 ((triple5) -> rule7)) -> rule4) OR ((((triple8) -> rule2) triple9) -> rule4) OR ((((triple8) -> rule2) ((triple5) -> rule7)) -> rule4) OR ((triple6 ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule4) OR ((((triple8) -> rule2) ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule4) OR ((triple6 ((((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4) triple8) -> rule5)) -> rule7)) -> rule4) OR ((((triple8) -> rule2) ((((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4) triple8) -> rule5)) -> rule7)) -> rule4))] @2: The lion needs the lion.[(((((triple4 triple8) -> rule6)) -> rule7))] The lion sees the lion.[(((((triple4 triple8) -> rule6) triple4) -> rule8))] @3: The lion needs the squirrel.[(((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4))]
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
triple1
The lion is big.
("lion" "is" "big" "+")
triple2
The lion is young.
("lion" "is" "young" "+")
triple3
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple4
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple5
((((triple6 triple9) -> (rule4 % int2)) triple8) -> (rule5 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
((((((triple8) -> (rule2 % int3)) triple9) -> (rule4 % int2)) triple8) -> (rule5 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((((((triple3) -> (rule2 % int5)) ((((triple4 triple8) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int2
The lion needs the lion.
("lion" "needs" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
int4
The lion is kind.
("lion" "is" "kind" "+")
int5
((((triple6 ((((((triple3) -> (rule2 % int7)) ((((triple4 triple8) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int4
The lion needs the lion.
("lion" "needs" "lion" "+")
int5
The lion chases the lion.
("lion" "chases" "lion" "+")
int6
The lion is kind.
("lion" "is" "kind" "+")
int7
((((((triple8) -> (rule2 % int8)) ((((((triple3) -> (rule2 % int7)) ((((triple4 triple8) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int4
The lion needs the lion.
("lion" "needs" "lion" "+")
int5
The lion chases the lion.
("lion" "chases" "lion" "+")
int6
The lion is kind.
("lion" "is" "kind" "+")
int7
The squirrel is kind.
("squirrel" "is" "kind" "+")
int8
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple6
((triple8) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
triple7
The squirrel is young.
("squirrel" "is" "young" "+")
triple8
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple9
((triple5) -> (rule7 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
((((((triple3) -> (rule2 % int5)) ((((triple4 triple8) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int2
The lion needs the lion.
("lion" "needs" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
int4
The lion is kind.
("lion" "is" "kind" "+")
int5
((((((((triple3) -> (rule2 % int6)) ((((triple4 triple8) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) triple8) -> (rule5 % int2))) -> (rule7 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int3
The lion needs the lion.
("lion" "needs" "lion" "+")
int4
The lion chases the lion.
("lion" "chases" "lion" "+")
int5
The lion is kind.
("lion" "is" "kind" "+")
int6
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple10
((triple5 triple4) -> (rule8 % int1))
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int1
((((((triple6 triple9) -> (rule4 % int3)) triple8) -> (rule5 % int2)) triple4) -> (rule8 % int1))
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
((((((((triple8) -> (rule2 % int4)) triple9) -> (rule4 % int3)) triple8) -> (rule5 % int2)) triple4) -> (rule8 % int1))
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
((((((((triple3) -> (rule2 % int6)) ((((triple4 triple8) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) triple8) -> (rule5 % int2)) triple4) -> (rule8 % int1))
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int3
The lion needs the lion.
("lion" "needs" "lion" "+")
int4
The lion chases the lion.
("lion" "chases" "lion" "+")
int5
The lion is kind.
("lion" "is" "kind" "+")
int6
((((((triple6 ((((((triple3) -> (rule2 % int8)) ((((triple4 triple8) -> (rule6 % int7))) -> (rule7 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple8) -> (rule5 % int2)) triple4) -> (rule8 % int1))
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int4
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int5
The lion needs the lion.
("lion" "needs" "lion" "+")
int6
The lion chases the lion.
("lion" "chases" "lion" "+")
int7
The lion is kind.
("lion" "is" "kind" "+")
int8
((((((((triple8) -> (rule2 % int9)) ((((((triple3) -> (rule2 % int8)) ((((triple4 triple8) -> (rule6 % int7))) -> (rule7 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple8) -> (rule5 % int2)) triple4) -> (rule8 % int1))
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int4
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int5
The lion needs the lion.
("lion" "needs" "lion" "+")
int6
The lion chases the lion.
("lion" "chases" "lion" "+")
int7
The lion is kind.
("lion" "is" "kind" "+")
int8
The squirrel is kind.
("squirrel" "is" "kind" "+")
int9
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple4 triple8) -> (rule6 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
((triple3) -> (rule2 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is round.
("lion" "is" "round" "+")
((triple10) -> (rule3 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
((((triple5 triple4) -> (rule8 % int2))) -> (rule3 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int2
((((((triple4 triple8) -> (rule6 % int3)) triple4) -> (rule8 % int2))) -> (rule3 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
((((((((triple6 triple9) -> (rule4 % int4)) triple8) -> (rule5 % int3)) triple4) -> (rule8 % int2))) -> (rule3 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int2
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
((((((((((triple8) -> (rule2 % int5)) triple9) -> (rule4 % int4)) triple8) -> (rule5 % int3)) triple4) -> (rule8 % int2))) -> (rule3 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int2
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
The squirrel is kind.
("squirrel" "is" "kind" "+")
int5
((((((((((triple3) -> (rule2 % int7)) ((((triple4 triple8) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) triple8) -> (rule5 % int3)) triple4) -> (rule8 % int2))) -> (rule3 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int2
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int4
The lion needs the lion.
("lion" "needs" "lion" "+")
int5
The lion chases the lion.
("lion" "chases" "lion" "+")
int6
The lion is kind.
("lion" "is" "kind" "+")
int7
((((((((triple6 ((((((triple3) -> (rule2 % int9)) ((((triple4 triple8) -> (rule6 % int8))) -> (rule7 % int7))) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) triple8) -> (rule5 % int3)) triple4) -> (rule8 % int2))) -> (rule3 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int2
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
The lion needs the lion.
("lion" "needs" "lion" "+")
int7
The lion chases the lion.
("lion" "chases" "lion" "+")
int8
The lion is kind.
("lion" "is" "kind" "+")
int9
((((((((((triple8) -> (rule2 % int10)) ((((((triple3) -> (rule2 % int9)) ((((triple4 triple8) -> (rule6 % int8))) -> (rule7 % int7))) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) triple8) -> (rule5 % int3)) triple4) -> (rule8 % int2))) -> (rule3 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int10
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int2
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
The lion needs the lion.
("lion" "needs" "lion" "+")
int7
The lion chases the lion.
("lion" "chases" "lion" "+")
int8
The lion is kind.
("lion" "is" "kind" "+")
int9
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple6 triple9) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
((triple6 ((triple5) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
((((triple8) -> (rule2 % int2)) triple9) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
((((triple8) -> (rule2 % int3)) ((triple5) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((triple6 ((((((triple3) -> (rule2 % int6)) ((((triple4 triple8) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int3
The lion needs the lion.
("lion" "needs" "lion" "+")
int4
The lion chases the lion.
("lion" "chases" "lion" "+")
int5
The lion is kind.
("lion" "is" "kind" "+")
int6
((((triple8) -> (rule2 % int7)) ((((((triple3) -> (rule2 % int6)) ((((triple4 triple8) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int3
The lion needs the lion.
("lion" "needs" "lion" "+")
int4
The lion chases the lion.
("lion" "chases" "lion" "+")
int5
The lion is kind.
("lion" "is" "kind" "+")
int6
The squirrel is kind.
("squirrel" "is" "kind" "+")
int7
((triple6 ((((((((triple3) -> (rule2 % int7)) ((((triple4 triple8) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) triple8) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int4
The lion needs the lion.
("lion" "needs" "lion" "+")
int5
The lion chases the lion.
("lion" "chases" "lion" "+")
int6
The lion is kind.
("lion" "is" "kind" "+")
int7
((((triple8) -> (rule2 % int8)) ((((((((triple3) -> (rule2 % int7)) ((((triple4 triple8) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) triple8) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int4
The lion needs the lion.
("lion" "needs" "lion" "+")
int5
The lion chases the lion.
("lion" "chases" "lion" "+")
int6
The lion is kind.
("lion" "is" "kind" "+")
int7
The squirrel is kind.
("squirrel" "is" "kind" "+")
int8
The lion needs the lion.
("lion" "needs" "lion" "+")
((((triple4 triple8) -> (rule6 % int2))) -> (rule7 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
((((triple4 triple8) -> (rule6 % int2)) triple4) -> (rule8 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
((((triple3) -> (rule2 % int4)) ((((triple4 triple8) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
The lion is kind.
("lion" "is" "kind" "+")
int4