The lion eats the squirrel. The lion is kind. The lion is nice. The lion is rough. The lion is young. The lion likes the squirrel. The lion visits the squirrel. The squirrel eats the lion. The squirrel is nice. The squirrel is round. The squirrel likes the lion. The squirrel visits the lion. If someone visits the squirrel then they are rough. If someone likes the lion and the lion likes the squirrel then they eat the lion. If someone visits the lion then they are kind. If someone is young and they visit the lion then the lion is round. If someone likes the squirrel then they are rough. If someone visits the lion then the lion likes the squirrel. If someone is kind and they visit the lion then they are young. If someone likes the lion and the lion is kind then they visit the lion.
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If someone visits the squirrel then they are rough.
((("someone" "visits" "squirrel" "+")) -> ("someone" "is" "rough" "+"))
If someone likes the lion and the lion likes the squirrel then they eat the lion.
((("someone" "likes" "lion" "+") ("lion" "likes" "squirrel" "+")) -> ("someone" "eats" "lion" "+"))
If someone visits the lion then they are kind.
((("someone" "visits" "lion" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and they visit the lion then the lion is round.
((("someone" "is" "young" "+") ("someone" "visits" "lion" "+")) -> ("lion" "is" "round" "+"))
If someone likes the squirrel then they are rough.
((("someone" "likes" "squirrel" "+")) -> ("someone" "is" "rough" "+"))
If someone visits the lion then the lion likes the squirrel.
((("someone" "visits" "lion" "+")) -> ("lion" "likes" "squirrel" "+"))
If someone is kind and they visit the lion then they are young.
((("someone" "is" "kind" "+") ("someone" "visits" "lion" "+")) -> ("someone" "is" "young" "+"))
If someone likes the lion and the lion is kind then they visit the lion.
((("someone" "likes" "lion" "+") ("lion" "is" "kind" "+")) -> ("someone" "visits" "lion" "+"))
The lion is rough.
True
1
proof
[(triple4 OR ((triple6) -> rule5) OR ((triple7) -> rule1) OR ((((triple12) -> rule6)) -> rule5) OR ((((((triple11 triple2) -> rule8)) -> rule6)) -> rule5))]
("lion" "is" "rough" "+")
triple4
((triple6) -> (rule5 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
((triple7) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
((((triple12) -> (rule6 % int2))) -> (rule5 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2
((((((triple11 triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int3
The squirrel is not nice.
False
1
inv-proof
[(triple9)]
("squirrel" "is" "nice" "-")
triple9
The squirrel is kind.
True
2
proof
[(((triple12) -> rule3) OR ((((triple11 triple2) -> rule8)) -> rule3))]
("squirrel" "is" "kind" "+")
((triple12) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
((((triple11 triple2) -> (rule8 % int2))) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int2
The squirrel is not kind.
False
2
inv-proof
[(((triple12) -> rule3) OR ((((triple11 triple2) -> rule8)) -> rule3))]
("squirrel" "is" "kind" "-")
((triple12) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
((((triple11 triple2) -> (rule8 % int2))) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int2
The squirrel is young.
True
4
proof
[(((((triple12) -> rule3) triple12) -> rule7) OR ((((triple12) -> rule3) ((triple11 triple2) -> rule8)) -> rule7) OR ((((((triple11 triple2) -> rule8)) -> rule3) triple12) -> rule7) OR ((((((triple11 triple2) -> rule8)) -> rule3) ((triple11 triple2) -> rule8)) -> rule7))]
("squirrel" "is" "young" "+")
((((triple12) -> (rule3 % int2)) triple12) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
((((triple12) -> (rule3 % int3)) ((triple11 triple2) -> (rule8 % int2))) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((((((triple11 triple2) -> (rule8 % int3))) -> (rule3 % int2)) triple12) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int3
((((((triple11 triple2) -> (rule8 % int3))) -> (rule3 % int2)) ((triple11 triple2) -> (rule8 % int3))) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int3
The squirrel is not young.
False
4
inv-proof
[(((((triple12) -> rule3) triple12) -> rule7) OR ((((triple12) -> rule3) ((triple11 triple2) -> rule8)) -> rule7) OR ((((((triple11 triple2) -> rule8)) -> rule3) triple12) -> rule7) OR ((((((triple11 triple2) -> rule8)) -> rule3) ((triple11 triple2) -> rule8)) -> rule7))]
("squirrel" "is" "young" "-")
((((triple12) -> (rule3 % int2)) triple12) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
((((triple12) -> (rule3 % int3)) ((triple11 triple2) -> (rule8 % int2))) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((((((triple11 triple2) -> (rule8 % int3))) -> (rule3 % int2)) triple12) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int3
((((((triple11 triple2) -> (rule8 % int3))) -> (rule3 % int2)) ((triple11 triple2) -> (rule8 % int3))) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int3
The lion is round.
True
6
proof
[(((((((triple12) -> rule3) triple12) -> rule7) triple12) -> rule4) OR ((((((triple12) -> rule3) triple12) -> rule7) ((triple11 triple2) -> rule8)) -> rule4) OR ((((((triple12) -> rule3) ((triple11 triple2) -> rule8)) -> rule7) triple12) -> rule4) OR ((((((triple12) -> rule3) ((triple11 triple2) -> rule8)) -> rule7) ((triple11 triple2) -> rule8)) -> rule4) OR ((((((((triple11 triple2) -> rule8)) -> rule3) triple12) -> rule7) triple12) -> rule4) OR ((((((((triple11 triple2) -> rule8)) -> rule3) triple12) -> rule7) ((triple11 triple2) -> rule8)) -> rule4) OR ((((((((triple11 triple2) -> rule8)) -> rule3) ((triple11 triple2) -> rule8)) -> rule7) triple12) -> rule4) OR ((((((((triple11 triple2) -> rule8)) -> rule3) ((triple11 triple2) -> rule8)) -> rule7) ((triple11 triple2) -> rule8)) -> rule4))]
("lion" "is" "round" "+")
((((((triple12) -> (rule3 % int3)) triple12) -> (rule7 % int2)) triple12) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((((((triple12) -> (rule3 % int4)) triple12) -> (rule7 % int3)) ((triple11 triple2) -> (rule8 % int2))) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
((((((triple12) -> (rule3 % int4)) ((triple11 triple2) -> (rule8 % int3))) -> (rule7 % int2)) triple12) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
((((((triple12) -> (rule3 % int4)) ((triple11 triple2) -> (rule8 % int3))) -> (rule7 % int2)) ((triple11 triple2) -> (rule8 % int3))) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
((((((((triple11 triple2) -> (rule8 % int4))) -> (rule3 % int3)) triple12) -> (rule7 % int2)) triple12) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int4
((((((((triple11 triple2) -> (rule8 % int4))) -> (rule3 % int3)) triple12) -> (rule7 % int2)) ((triple11 triple2) -> (rule8 % int4))) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int4
((((((((triple11 triple2) -> (rule8 % int4))) -> (rule3 % int3)) ((triple11 triple2) -> (rule8 % int4))) -> (rule7 % int2)) triple12) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int4
((((((((triple11 triple2) -> (rule8 % int4))) -> (rule3 % int3)) ((triple11 triple2) -> (rule8 % int4))) -> (rule7 % int2)) ((triple11 triple2) -> (rule8 % int4))) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int4
The lion is not round.
False
6
inv-proof
[(((((((triple12) -> rule3) triple12) -> rule7) triple12) -> rule4) OR ((((((triple12) -> rule3) triple12) -> rule7) ((triple11 triple2) -> rule8)) -> rule4) OR ((((((triple12) -> rule3) ((triple11 triple2) -> rule8)) -> rule7) triple12) -> rule4) OR ((((((triple12) -> rule3) ((triple11 triple2) -> rule8)) -> rule7) ((triple11 triple2) -> rule8)) -> rule4) OR ((((((((triple11 triple2) -> rule8)) -> rule3) triple12) -> rule7) triple12) -> rule4) OR ((((((((triple11 triple2) -> rule8)) -> rule3) triple12) -> rule7) ((triple11 triple2) -> rule8)) -> rule4) OR ((((((((triple11 triple2) -> rule8)) -> rule3) ((triple11 triple2) -> rule8)) -> rule7) triple12) -> rule4) OR ((((((((triple11 triple2) -> rule8)) -> rule3) ((triple11 triple2) -> rule8)) -> rule7) ((triple11 triple2) -> rule8)) -> rule4))]
("lion" "is" "round" "-")
((((((triple12) -> (rule3 % int3)) triple12) -> (rule7 % int2)) triple12) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((((((triple12) -> (rule3 % int4)) triple12) -> (rule7 % int3)) ((triple11 triple2) -> (rule8 % int2))) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
((((((triple12) -> (rule3 % int4)) ((triple11 triple2) -> (rule8 % int3))) -> (rule7 % int2)) triple12) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
((((((triple12) -> (rule3 % int4)) ((triple11 triple2) -> (rule8 % int3))) -> (rule7 % int2)) ((triple11 triple2) -> (rule8 % int3))) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
((((((((triple11 triple2) -> (rule8 % int4))) -> (rule3 % int3)) triple12) -> (rule7 % int2)) triple12) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int4
((((((((triple11 triple2) -> (rule8 % int4))) -> (rule3 % int3)) triple12) -> (rule7 % int2)) ((triple11 triple2) -> (rule8 % int4))) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int4
((((((((triple11 triple2) -> (rule8 % int4))) -> (rule3 % int3)) ((triple11 triple2) -> (rule8 % int4))) -> (rule7 % int2)) triple12) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int4
((((((((triple11 triple2) -> (rule8 % int4))) -> (rule3 % int3)) ((triple11 triple2) -> (rule8 % int4))) -> (rule7 % int2)) ((triple11 triple2) -> (rule8 % int4))) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int4
The lion does not visit the lion.
Unknown
inv-rconc
[@1: The lion visits the lion.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "visits" "lion" "-")
The lion eats the lion.
Unknown
rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "eats" "lion" "+")
The squirrel is not rough.
Unknown
inv-rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "rough" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
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 squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The lion eats the squirrel.[(triple1)] The lion is kind.[(triple2)] The lion is nice.[(triple3)] The lion is rough.[(triple4 OR ((triple6) -> rule5) OR ((triple7) -> rule1) OR ((((triple12) -> rule6)) -> rule5) OR ((((((triple11 triple2) -> rule8)) -> rule6)) -> rule5))] The lion is young.[(triple5)] The lion likes the squirrel.[(triple6 OR ((triple12) -> rule6) OR ((((triple11 triple2) -> rule8)) -> rule6))] The lion visits the squirrel.[(triple7)] The squirrel eats the lion.[(triple8 OR ((triple11 triple6) -> rule2) OR ((triple11 ((triple12) -> rule6)) -> rule2) OR ((triple11 ((((triple11 triple2) -> rule8)) -> rule6)) -> rule2))] The squirrel is nice.[(triple9)] The squirrel is round.[(triple10)] The squirrel likes the lion.[(triple11)] The squirrel visits the lion.[(triple12 OR ((triple11 triple2) -> rule8))] @1: The squirrel is kind.[(((triple12) -> rule3) OR ((((triple11 triple2) -> rule8)) -> rule3))] @2: The squirrel is young.[(((((triple12) -> rule3) triple12) -> rule7) OR ((((triple12) -> rule3) ((triple11 triple2) -> rule8)) -> rule7) OR ((((((triple11 triple2) -> rule8)) -> rule3) triple12) -> rule7) OR ((((((triple11 triple2) -> rule8)) -> rule3) ((triple11 triple2) -> rule8)) -> rule7))] @3: The lion is round.[(((((((triple12) -> rule3) triple12) -> rule7) triple12) -> rule4) OR ((((((triple12) -> rule3) triple12) -> rule7) ((triple11 triple2) -> rule8)) -> rule4) OR ((((((triple12) -> rule3) ((triple11 triple2) -> rule8)) -> rule7) triple12) -> rule4) OR ((((((triple12) -> rule3) ((triple11 triple2) -> rule8)) -> rule7) ((triple11 triple2) -> rule8)) -> rule4) OR ((((((((triple11 triple2) -> rule8)) -> rule3) triple12) -> rule7) triple12) -> rule4) OR ((((((((triple11 triple2) -> rule8)) -> rule3) triple12) -> rule7) ((triple11 triple2) -> rule8)) -> rule4) OR ((((((((triple11 triple2) -> rule8)) -> rule3) ((triple11 triple2) -> rule8)) -> rule7) triple12) -> rule4) OR ((((((((triple11 triple2) -> rule8)) -> rule3) ((triple11 triple2) -> rule8)) -> rule7) ((triple11 triple2) -> rule8)) -> rule4))]
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple1
The lion is kind.
("lion" "is" "kind" "+")
triple2
The lion is nice.
("lion" "is" "nice" "+")
triple3
The lion is rough.
("lion" "is" "rough" "+")
triple4
((triple6) -> (rule5 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
((triple7) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
((((triple12) -> (rule6 % int2))) -> (rule5 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2
((((((triple11 triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int3
The lion is young.
("lion" "is" "young" "+")
triple5
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple6
((triple12) -> (rule6 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
((((triple11 triple2) -> (rule8 % int2))) -> (rule6 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int2
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple7
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple8
((triple11 triple6) -> (rule2 % int1))
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int1
((triple11 ((triple12) -> (rule6 % int2))) -> (rule2 % int1))
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2
((triple11 ((((triple11 triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int3
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple9
The squirrel is round.
("squirrel" "is" "round" "+")
triple10
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple11
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple12
((triple11 triple2) -> (rule8 % int1))
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple12) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
((((triple11 triple2) -> (rule8 % int2))) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
((((triple12) -> (rule3 % int2)) triple12) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
((((triple12) -> (rule3 % int3)) ((triple11 triple2) -> (rule8 % int2))) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((((((triple11 triple2) -> (rule8 % int3))) -> (rule3 % int2)) triple12) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int3
((((((triple11 triple2) -> (rule8 % int3))) -> (rule3 % int2)) ((triple11 triple2) -> (rule8 % int3))) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int3
The lion is round.
("lion" "is" "round" "+")
((((((triple12) -> (rule3 % int3)) triple12) -> (rule7 % int2)) triple12) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((((((triple12) -> (rule3 % int4)) triple12) -> (rule7 % int3)) ((triple11 triple2) -> (rule8 % int2))) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
((((((triple12) -> (rule3 % int4)) ((triple11 triple2) -> (rule8 % int3))) -> (rule7 % int2)) triple12) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
((((((triple12) -> (rule3 % int4)) ((triple11 triple2) -> (rule8 % int3))) -> (rule7 % int2)) ((triple11 triple2) -> (rule8 % int3))) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
((((((((triple11 triple2) -> (rule8 % int4))) -> (rule3 % int3)) triple12) -> (rule7 % int2)) triple12) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int4
((((((((triple11 triple2) -> (rule8 % int4))) -> (rule3 % int3)) triple12) -> (rule7 % int2)) ((triple11 triple2) -> (rule8 % int4))) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int4
((((((((triple11 triple2) -> (rule8 % int4))) -> (rule3 % int3)) ((triple11 triple2) -> (rule8 % int4))) -> (rule7 % int2)) triple12) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int4
((((((((triple11 triple2) -> (rule8 % int4))) -> (rule3 % int3)) ((triple11 triple2) -> (rule8 % int4))) -> (rule7 % int2)) ((triple11 triple2) -> (rule8 % int4))) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int4