The lion chases the squirrel. The lion is nice. The lion is young. The lion needs the squirrel. The squirrel is nice. The squirrel needs the lion. The squirrel visits the lion. If someone needs the squirrel and they visit the lion then the lion visits the squirrel. If someone is round then they are young. If someone is young then they chase the squirrel. If someone is young and they need the squirrel then they chase the lion. If the lion visits the squirrel and the squirrel chases the lion then the lion chases the squirrel. If someone is young then they need the squirrel. If someone visits the lion and the lion needs the squirrel then the squirrel is young. If someone is rough then they need the lion.
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is young.
("lion" "is" "young" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If someone needs the squirrel and they visit the lion then the lion visits the squirrel.
((("someone" "needs" "squirrel" "+") ("someone" "visits" "lion" "+")) -> ("lion" "visits" "squirrel" "+"))
If someone is round then they are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is young then they chase the squirrel.
((("someone" "is" "young" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone is young and they need the squirrel then they chase the lion.
((("someone" "is" "young" "+") ("someone" "needs" "squirrel" "+")) -> ("someone" "chases" "lion" "+"))
If the lion visits the squirrel and the squirrel chases the lion then the lion chases the squirrel.
((("lion" "visits" "squirrel" "+") ("squirrel" "chases" "lion" "+")) -> ("lion" "chases" "squirrel" "+"))
If someone is young then they need the squirrel.
((("someone" "is" "young" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone visits the lion and the lion needs the squirrel then the squirrel is young.
((("someone" "visits" "lion" "+") ("lion" "needs" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
If someone is rough then they need the lion.
((("someone" "is" "rough" "+")) -> ("someone" "needs" "lion" "+"))
The lion chases the squirrel.
True
1
proof
[(triple1 OR ((triple3) -> rule3) OR ((((((((triple7 triple4) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 triple4) -> rule7) ((((triple7 triple4) -> rule7)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7 triple4) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 ((triple3) -> rule6)) -> rule7) ((((triple7 triple4) -> rule7)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7 triple4) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 triple4) -> rule7) ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 triple4) -> rule7) ((((triple7 triple4) -> rule7)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7 triple4) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 ((triple3) -> rule6)) -> rule7) ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 triple4) -> rule7) ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 ((triple3) -> rule6)) -> rule7) ((((triple7 triple4) -> rule7)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 ((triple3) -> rule6)) -> rule7) ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6)) -> rule4)) -> rule5))]
("lion" "chases" "squirrel" "+")
triple1
((triple3) -> (rule3 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
((((((((triple7 triple4) -> (rule7 % int5))) -> (rule6 % int4)) triple7) -> (rule1 % int3)) ((((triple7 triple4) -> (rule7 % int5)) ((((triple7 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
The squirrel is young.
("squirrel" "is" "young" "+")
int5
((((((((triple7 triple4) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule1 % int4)) ((((triple7 ((triple3) -> (rule6 % int3))) -> (rule7 % int6)) ((((triple7 triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule5 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int3
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int4
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int5
The squirrel is young.
("squirrel" "is" "young" "+")
int6
((((((((triple7 triple4) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule1 % int4)) ((((triple7 triple4) -> (rule7 % int6)) ((((triple7 ((triple3) -> (rule6 % int3))) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule5 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int3
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int4
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int5
The squirrel is young.
("squirrel" "is" "young" "+")
int6
((((((((triple7 ((triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule6 % int4)) triple7) -> (rule1 % int3)) ((((triple7 triple4) -> (rule7 % int5)) ((((triple7 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
The squirrel is young.
("squirrel" "is" "young" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
((((((((triple7 triple4) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule1 % int4)) ((((triple7 ((triple3) -> (rule6 % int3))) -> (rule7 % int6)) ((((triple7 ((triple3) -> (rule6 % int3))) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule5 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int3
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int4
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int5
The squirrel is young.
("squirrel" "is" "young" "+")
int6
((((((((triple7 ((triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule6 % int4)) triple7) -> (rule1 % int3)) ((((triple7 triple4) -> (rule7 % int5)) ((((triple7 ((triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
The squirrel is young.
("squirrel" "is" "young" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
((((((((triple7 ((triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule6 % int4)) triple7) -> (rule1 % int3)) ((((triple7 ((triple3) -> (rule6 % int6))) -> (rule7 % int5)) ((((triple7 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
The squirrel is young.
("squirrel" "is" "young" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
((((((((triple7 ((triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule6 % int4)) triple7) -> (rule1 % int3)) ((((triple7 ((triple3) -> (rule6 % int6))) -> (rule7 % int5)) ((((triple7 ((triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
The squirrel is young.
("squirrel" "is" "young" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
The squirrel is not nice.
False
1
inv-proof
[(triple5)]
("squirrel" "is" "nice" "-")
triple5
The squirrel is young.
True
3
proof
[(((triple7 triple4) -> rule7) OR ((triple7 ((triple3) -> rule6)) -> rule7))]
("squirrel" "is" "young" "+")
((triple7 triple4) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
((triple7 ((triple3) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int2
The lion does not chase the lion.
False
3
inv-proof
[(((triple3 triple4) -> rule4) OR ((triple3 ((triple3) -> rule6)) -> rule4))]
("lion" "chases" "lion" "-")
((triple3 triple4) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
((triple3 ((triple3) -> (rule6 % int2))) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int2
The squirrel chases the squirrel.
True
4
proof
[(((((triple7 triple4) -> rule7)) -> rule3) OR ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule3))]
("squirrel" "chases" "squirrel" "+")
((((triple7 triple4) -> (rule7 % int2))) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
((((triple7 ((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int3
The squirrel does not chase the squirrel.
False
4
inv-proof
[(((((triple7 triple4) -> rule7)) -> rule3) OR ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule3))]
("squirrel" "chases" "squirrel" "-")
((((triple7 triple4) -> (rule7 % int2))) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
((((triple7 ((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int3
The lion visits the squirrel.
True
6
proof
[(((((((triple7 triple4) -> rule7)) -> rule6) triple7) -> rule1) OR ((((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6) triple7) -> rule1))]
("lion" "visits" "squirrel" "+")
((((((triple7 triple4) -> (rule7 % int3))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
((((((triple7 ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int4
The squirrel does not chase the lion.
False
8
inv-proof
[(((((triple7 triple4) -> rule7) ((((triple7 triple4) -> rule7)) -> rule6)) -> rule4) OR ((((triple7 ((triple3) -> rule6)) -> rule7) ((((triple7 triple4) -> rule7)) -> rule6)) -> rule4) OR ((((triple7 triple4) -> rule7) ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6)) -> rule4) OR ((((triple7 ((triple3) -> rule6)) -> rule7) ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6)) -> rule4))]
("squirrel" "chases" "lion" "-")
((((triple7 triple4) -> (rule7 % int3)) ((((triple7 triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
((((triple7 ((triple3) -> (rule6 % int4))) -> (rule7 % int3)) ((((triple7 triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int4
((((triple7 triple4) -> (rule7 % int4)) ((((triple7 ((triple3) -> (rule6 % int3))) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((triple7 ((triple3) -> (rule6 % int4))) -> (rule7 % int3)) ((((triple7 ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int4
The lion does not need the lion.
Unknown
inv-rconc
[@1: The lion needs the lion.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "needs" "lion" "-")
The squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The lion is round.
Unknown
random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "+")
The lion is not big.
Unknown
inv-random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "-")
The squirrel is big.
Unknown
random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "+")
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
@0: The lion chases the squirrel.[(triple1 OR ((triple3) -> rule3) OR ((((((((triple7 triple4) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 triple4) -> rule7) ((((triple7 triple4) -> rule7)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7 triple4) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 ((triple3) -> rule6)) -> rule7) ((((triple7 triple4) -> rule7)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7 triple4) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 triple4) -> rule7) ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 triple4) -> rule7) ((((triple7 triple4) -> rule7)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7 triple4) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 ((triple3) -> rule6)) -> rule7) ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 triple4) -> rule7) ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 ((triple3) -> rule6)) -> rule7) ((((triple7 triple4) -> rule7)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 ((triple3) -> rule6)) -> rule7) ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6)) -> rule4)) -> rule5))] The lion is nice.[(triple2)] The lion is young.[(triple3)] The lion needs the squirrel.[(triple4 OR ((triple3) -> rule6))] The squirrel is nice.[(triple5)] The squirrel needs the lion.[(triple6)] The squirrel visits the lion.[(triple7)] @1: The lion chases the lion.[(((triple3 triple4) -> rule4) OR ((triple3 ((triple3) -> rule6)) -> rule4))] The squirrel is young.[(((triple7 triple4) -> rule7) OR ((triple7 ((triple3) -> rule6)) -> rule7))] @2: The squirrel chases the squirrel.[(((((triple7 triple4) -> rule7)) -> rule3) OR ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule3))] The squirrel needs the squirrel.[(((((triple7 triple4) -> rule7)) -> rule6) OR ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6))] @3: The lion visits the squirrel.[(((((((triple7 triple4) -> rule7)) -> rule6) triple7) -> rule1) OR ((((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6) triple7) -> rule1))] The squirrel chases the lion.[(((((triple7 triple4) -> rule7) ((((triple7 triple4) -> rule7)) -> rule6)) -> rule4) OR ((((triple7 ((triple3) -> rule6)) -> rule7) ((((triple7 triple4) -> rule7)) -> rule6)) -> rule4) OR ((((triple7 triple4) -> rule7) ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6)) -> rule4) OR ((((triple7 ((triple3) -> rule6)) -> rule7) ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6)) -> rule4))]
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple1
((triple3) -> (rule3 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
((((((((triple7 triple4) -> (rule7 % int5))) -> (rule6 % int4)) triple7) -> (rule1 % int3)) ((((triple7 triple4) -> (rule7 % int5)) ((((triple7 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
The squirrel is young.
("squirrel" "is" "young" "+")
int5
((((((((triple7 triple4) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule1 % int4)) ((((triple7 ((triple3) -> (rule6 % int3))) -> (rule7 % int6)) ((((triple7 triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule5 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int3
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int4
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int5
The squirrel is young.
("squirrel" "is" "young" "+")
int6
((((((((triple7 triple4) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule1 % int4)) ((((triple7 triple4) -> (rule7 % int6)) ((((triple7 ((triple3) -> (rule6 % int3))) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule5 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int3
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int4
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int5
The squirrel is young.
("squirrel" "is" "young" "+")
int6
((((((((triple7 ((triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule6 % int4)) triple7) -> (rule1 % int3)) ((((triple7 triple4) -> (rule7 % int5)) ((((triple7 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
The squirrel is young.
("squirrel" "is" "young" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
((((((((triple7 triple4) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule1 % int4)) ((((triple7 ((triple3) -> (rule6 % int3))) -> (rule7 % int6)) ((((triple7 ((triple3) -> (rule6 % int3))) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule5 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int3
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int4
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int5
The squirrel is young.
("squirrel" "is" "young" "+")
int6
((((((((triple7 ((triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule6 % int4)) triple7) -> (rule1 % int3)) ((((triple7 triple4) -> (rule7 % int5)) ((((triple7 ((triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
The squirrel is young.
("squirrel" "is" "young" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
((((((((triple7 ((triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule6 % int4)) triple7) -> (rule1 % int3)) ((((triple7 ((triple3) -> (rule6 % int6))) -> (rule7 % int5)) ((((triple7 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
The squirrel is young.
("squirrel" "is" "young" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
((((((((triple7 ((triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule6 % int4)) triple7) -> (rule1 % int3)) ((((triple7 ((triple3) -> (rule6 % int6))) -> (rule7 % int5)) ((((triple7 ((triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
The squirrel is young.
("squirrel" "is" "young" "+")
int5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int6
The lion is nice.
("lion" "is" "nice" "+")
triple2
The lion is young.
("lion" "is" "young" "+")
triple3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple4
((triple3) -> (rule6 % int1))
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple5
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple6
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple7
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple3 triple4) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
((triple3 ((triple3) -> (rule6 % int2))) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
((triple7 triple4) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
((triple7 ((triple3) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((((triple7 triple4) -> (rule7 % int2))) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
((((triple7 ((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((((triple7 triple4) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
((((triple7 ((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int3
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
((((((triple7 triple4) -> (rule7 % int3))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
((((((triple7 ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int4
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
((((triple7 triple4) -> (rule7 % int3)) ((((triple7 triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
((((triple7 ((triple3) -> (rule6 % int4))) -> (rule7 % int3)) ((((triple7 triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int4
((((triple7 triple4) -> (rule7 % int4)) ((((triple7 ((triple3) -> (rule6 % int3))) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((triple7 ((triple3) -> (rule6 % int4))) -> (rule7 % int3)) ((((triple7 ((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int4