The rabbit eats the squirrel. The rabbit is blue. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit is rough. The rabbit sees the squirrel. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel sees the rabbit. The squirrel visits the rabbit. If someone visits the squirrel and they eat the rabbit then they are blue. If the rabbit sees the squirrel and the rabbit is nice then the rabbit is kind. If someone eats the rabbit then they see the squirrel. If someone sees the squirrel and the squirrel eats the rabbit then they visit the squirrel. If someone eats the squirrel then the squirrel eats the rabbit. If the squirrel sees the rabbit and the rabbit eats the squirrel then the squirrel is kind.
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone visits the squirrel and they eat the rabbit then they are blue.
((("someone" "visits" "squirrel" "+") ("someone" "eats" "rabbit" "+")) -> ("someone" "is" "blue" "+"))
If the rabbit sees the squirrel and the rabbit is nice then the rabbit is kind.
((("rabbit" "sees" "squirrel" "+") ("rabbit" "is" "nice" "+")) -> ("rabbit" "is" "kind" "+"))
If someone eats the rabbit then they see the squirrel.
((("someone" "eats" "rabbit" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone sees the squirrel and the squirrel eats the rabbit then they visit the squirrel.
((("someone" "sees" "squirrel" "+") ("squirrel" "eats" "rabbit" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone eats the squirrel then the squirrel eats the rabbit.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "eats" "rabbit" "+"))
If the squirrel sees the rabbit and the rabbit eats the squirrel then the squirrel is kind.
((("squirrel" "sees" "rabbit" "+") ("rabbit" "eats" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
The rabbit eats the squirrel.
True
1
proof
[(triple1)]
("rabbit" "eats" "squirrel" "+")
triple1
The rabbit is not kind.
False
1
inv-proof
[(triple3 OR ((triple7 triple4) -> rule2))]
("rabbit" "is" "kind" "-")
triple3
((triple7 triple4) -> (rule2 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The squirrel sees the squirrel.
True
2
proof
[(((triple9) -> rule3) OR ((((triple1) -> rule5)) -> rule3))]
("squirrel" "sees" "squirrel" "+")
((triple9) -> (rule3 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2
The squirrel does not see the squirrel.
False
2
inv-proof
[(((triple9) -> rule3) OR ((((triple1) -> rule5)) -> rule3))]
("squirrel" "sees" "squirrel" "-")
((triple9) -> (rule3 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2
The squirrel visits the squirrel.
True
4
proof
[(((((triple9) -> rule3) triple9) -> rule4) OR ((((triple9) -> rule3) ((triple1) -> rule5)) -> rule4) OR ((((((triple1) -> rule5)) -> rule3) triple9) -> rule4) OR ((((((triple1) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule4))]
("squirrel" "visits" "squirrel" "+")
((((triple9) -> (rule3 % int2)) triple9) -> (rule4 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
((((triple9) -> (rule3 % int3)) ((triple1) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2)) triple9) -> (rule4 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2)) ((triple1) -> (rule5 % int3))) -> (rule4 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int3
The squirrel does not visit the squirrel.
False
4
inv-proof
[(((((triple9) -> rule3) triple9) -> rule4) OR ((((triple9) -> rule3) ((triple1) -> rule5)) -> rule4) OR ((((((triple1) -> rule5)) -> rule3) triple9) -> rule4) OR ((((((triple1) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule4))]
("squirrel" "visits" "squirrel" "-")
((((triple9) -> (rule3 % int2)) triple9) -> (rule4 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
((((triple9) -> (rule3 % int3)) ((triple1) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2)) triple9) -> (rule4 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2)) ((triple1) -> (rule5 % int3))) -> (rule4 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int3
The squirrel is blue.
True
6
proof
[(((((((triple9) -> rule3) triple9) -> rule4) triple9) -> rule1) OR ((((((triple9) -> rule3) triple9) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((((triple9) -> rule3) ((triple1) -> rule5)) -> rule4) triple9) -> rule1) OR ((((((triple9) -> rule3) ((triple1) -> rule5)) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule3) triple9) -> rule4) triple9) -> rule1) OR ((((((((triple1) -> rule5)) -> rule3) triple9) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule4) triple9) -> rule1) OR ((((((((triple1) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule4) ((triple1) -> rule5)) -> rule1))]
("squirrel" "is" "blue" "+")
((((((triple9) -> (rule3 % int3)) triple9) -> (rule4 % int2)) triple9) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
((((((triple9) -> (rule3 % int4)) triple9) -> (rule4 % int3)) ((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int3
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int4
((((((triple9) -> (rule3 % int4)) ((triple1) -> (rule5 % int3))) -> (rule4 % int2)) triple9) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int3
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int4
((((((triple9) -> (rule3 % int4)) ((triple1) -> (rule5 % int3))) -> (rule4 % int2)) ((triple1) -> (rule5 % int3))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int3
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3)) triple9) -> (rule4 % int2)) triple9) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3)) triple9) -> (rule4 % int2)) ((triple1) -> (rule5 % int4))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1) -> (rule5 % int4))) -> (rule4 % int2)) triple9) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1) -> (rule5 % int4))) -> (rule4 % int2)) ((triple1) -> (rule5 % int4))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int4
The squirrel is not blue.
False
6
inv-proof
[(((((((triple9) -> rule3) triple9) -> rule4) triple9) -> rule1) OR ((((((triple9) -> rule3) triple9) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((((triple9) -> rule3) ((triple1) -> rule5)) -> rule4) triple9) -> rule1) OR ((((((triple9) -> rule3) ((triple1) -> rule5)) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule3) triple9) -> rule4) triple9) -> rule1) OR ((((((((triple1) -> rule5)) -> rule3) triple9) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule4) triple9) -> rule1) OR ((((((((triple1) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule4) ((triple1) -> rule5)) -> rule1))]
("squirrel" "is" "blue" "-")
((((((triple9) -> (rule3 % int3)) triple9) -> (rule4 % int2)) triple9) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
((((((triple9) -> (rule3 % int4)) triple9) -> (rule4 % int3)) ((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int3
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int4
((((((triple9) -> (rule3 % int4)) ((triple1) -> (rule5 % int3))) -> (rule4 % int2)) triple9) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int3
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int4
((((((triple9) -> (rule3 % int4)) ((triple1) -> (rule5 % int3))) -> (rule4 % int2)) ((triple1) -> (rule5 % int3))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int3
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3)) triple9) -> (rule4 % int2)) triple9) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3)) triple9) -> (rule4 % int2)) ((triple1) -> (rule5 % int4))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1) -> (rule5 % int4))) -> (rule4 % int2)) triple9) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1) -> (rule5 % int4))) -> (rule4 % int2)) ((triple1) -> (rule5 % int4))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int4
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The rabbit eats the squirrel.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is kind.[(triple3 OR ((triple7 triple4) -> rule2))] The rabbit is nice.[(triple4)] The rabbit is red.[(triple5)] The rabbit is rough.[(triple6)] The rabbit sees the squirrel.[(triple7)] The rabbit visits the squirrel.[(triple8 OR ((triple7 triple9) -> rule4) OR ((triple7 ((triple1) -> rule5)) -> rule4))] The squirrel eats the rabbit.[(triple9 OR ((triple1) -> rule5))] The squirrel is kind.[(triple10 OR ((triple14 triple1) -> rule6))] The squirrel is nice.[(triple11)] The squirrel is red.[(triple12)] The squirrel is rough.[(triple13)] The squirrel sees the rabbit.[(triple14)] The squirrel visits the rabbit.[(triple15)] @1: The squirrel sees the squirrel.[(((triple9) -> rule3) OR ((((triple1) -> rule5)) -> rule3))] @2: The squirrel visits the squirrel.[(((((triple9) -> rule3) triple9) -> rule4) OR ((((triple9) -> rule3) ((triple1) -> rule5)) -> rule4) OR ((((((triple1) -> rule5)) -> rule3) triple9) -> rule4) OR ((((((triple1) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule4))] @3: The squirrel is blue.[(((((((triple9) -> rule3) triple9) -> rule4) triple9) -> rule1) OR ((((((triple9) -> rule3) triple9) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((((triple9) -> rule3) ((triple1) -> rule5)) -> rule4) triple9) -> rule1) OR ((((((triple9) -> rule3) ((triple1) -> rule5)) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule3) triple9) -> rule4) triple9) -> rule1) OR ((((((((triple1) -> rule5)) -> rule3) triple9) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule4) triple9) -> rule1) OR ((((((((triple1) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule4) ((triple1) -> rule5)) -> rule1))]
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple1
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple2
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple3
((triple7 triple4) -> (rule2 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple4
The rabbit is red.
("rabbit" "is" "red" "+")
triple5
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple6
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple7
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple8
((triple7 triple9) -> (rule4 % int1))
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int1
((triple7 ((triple1) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple9
((triple1) -> (rule5 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple10
((triple14 triple1) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple11
The squirrel is red.
("squirrel" "is" "red" "+")
triple12
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple14
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple15
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((triple9) -> (rule3 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((((triple9) -> (rule3 % int2)) triple9) -> (rule4 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
((((triple9) -> (rule3 % int3)) ((triple1) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2)) triple9) -> (rule4 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2)) ((triple1) -> (rule5 % int3))) -> (rule4 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int3
The squirrel is blue.
("squirrel" "is" "blue" "+")
((((((triple9) -> (rule3 % int3)) triple9) -> (rule4 % int2)) triple9) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
((((((triple9) -> (rule3 % int4)) triple9) -> (rule4 % int3)) ((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int3
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int4
((((((triple9) -> (rule3 % int4)) ((triple1) -> (rule5 % int3))) -> (rule4 % int2)) triple9) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int3
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int4
((((((triple9) -> (rule3 % int4)) ((triple1) -> (rule5 % int3))) -> (rule4 % int2)) ((triple1) -> (rule5 % int3))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int3
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3)) triple9) -> (rule4 % int2)) triple9) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3)) triple9) -> (rule4 % int2)) ((triple1) -> (rule5 % int4))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1) -> (rule5 % int4))) -> (rule4 % int2)) triple9) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1) -> (rule5 % int4))) -> (rule4 % int2)) ((triple1) -> (rule5 % int4))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int4