The lion eats the rabbit. The lion is cold. The lion is green. The lion is not nice. The lion is rough. The lion does not need the rabbit. The lion sees the rabbit. The rabbit eats the lion. The rabbit is cold. The rabbit is kind. The rabbit needs the lion. The rabbit sees the lion. If someone eats the rabbit and they need the rabbit then the rabbit is green. If the rabbit sees the lion and the rabbit eats the lion then the rabbit is green. If the lion eats the rabbit and the rabbit needs the lion then the rabbit is cold. If someone eats the lion and the lion sees the rabbit then the lion eats the rabbit. If someone eats the rabbit and they need the rabbit then they are kind. If someone is green and cold then they eat the rabbit. If someone is green and they see the rabbit then the rabbit is nice. If the lion eats the rabbit and the lion does not need the rabbit then the rabbit eats the lion.
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is not nice.
("lion" "is" "nice" "-")
The lion is rough.
("lion" "is" "rough" "+")
The lion does not need the rabbit.
("lion" "needs" "rabbit" "-")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
If someone eats the rabbit and they need the rabbit then the rabbit is green.
((("someone" "eats" "rabbit" "+") ("someone" "needs" "rabbit" "+")) -> ("rabbit" "is" "green" "+"))
If the rabbit sees the lion and the rabbit eats the lion then the rabbit is green.
((("rabbit" "sees" "lion" "+") ("rabbit" "eats" "lion" "+")) -> ("rabbit" "is" "green" "+"))
If the lion eats the rabbit and the rabbit needs the lion then the rabbit is cold.
((("lion" "eats" "rabbit" "+") ("rabbit" "needs" "lion" "+")) -> ("rabbit" "is" "cold" "+"))
If someone eats the lion and the lion sees the rabbit then the lion eats the rabbit.
((("someone" "eats" "lion" "+") ("lion" "sees" "rabbit" "+")) -> ("lion" "eats" "rabbit" "+"))
If someone eats the rabbit and they need the rabbit then they are kind.
((("someone" "eats" "rabbit" "+") ("someone" "needs" "rabbit" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and cold then they eat the rabbit.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone is green and they see the rabbit then the rabbit is nice.
((("someone" "is" "green" "+") ("someone" "sees" "rabbit" "+")) -> ("rabbit" "is" "nice" "+"))
If the lion eats the rabbit and the lion does not need the rabbit then the rabbit eats the lion.
((("lion" "eats" "rabbit" "+") ("lion" "needs" "rabbit" "~")) -> ("rabbit" "eats" "lion" "+"))
The lion sees the rabbit.
True
1
proof
[(triple7)]
("lion" "sees" "rabbit" "+")
triple7
The lion is nice.
False
1
inv-proof
[(triple4)]
("lion" "is" "nice" "+")
triple4
The rabbit is nice.
True
3
proof
[(((triple3 triple7) -> rule7))]
("rabbit" "is" "nice" "+")
((triple3 triple7) -> (rule7 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is not green.
False
3
inv-proof
[(((triple12 triple8) -> rule2) OR ((triple12 ((triple1 triple6) -> rule8)) -> rule2) OR ((triple12 ((((triple3 triple2) -> rule6) triple6) -> rule8)) -> rule2))]
("rabbit" "is" "green" "-")
((triple12 triple8) -> (rule2 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
((triple12 ((triple1 triple6) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int2
((triple12 ((((triple3 triple2) -> (rule6 % int3)) triple6) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int2
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int3
The rabbit eats the rabbit.
True
5
proof
[(((((triple12 triple8) -> rule2) triple9) -> rule6) OR ((((triple12 triple8) -> rule2) ((triple1 triple11) -> rule3)) -> rule6) OR ((((triple12 ((triple1 triple6) -> rule8)) -> rule2) triple9) -> rule6) OR ((((triple12 triple8) -> rule2) ((((triple3 triple2) -> rule6) triple11) -> rule3)) -> rule6) OR ((((triple12 triple8) -> rule2) ((((triple8 triple7) -> rule4) triple11) -> rule3)) -> rule6) OR ((((triple12 ((triple1 triple6) -> rule8)) -> rule2) ((triple1 triple11) -> rule3)) -> rule6) OR ((((triple12 ((triple1 triple6) -> rule8)) -> rule2) ((((triple3 triple2) -> rule6) triple11) -> rule3)) -> rule6) OR ((((triple12 ((triple1 triple6) -> rule8)) -> rule2) ((((triple8 triple7) -> rule4) triple11) -> rule3)) -> rule6) OR ((((triple12 ((((triple3 triple2) -> rule6) triple6) -> rule8)) -> rule2) triple9) -> rule6) OR ((((triple12 ((((triple3 triple2) -> rule6) triple6) -> rule8)) -> rule2) ((triple1 triple11) -> rule3)) -> rule6) OR ((((triple12 ((((triple3 triple2) -> rule6) triple6) -> rule8)) -> rule2) ((((triple3 triple2) -> rule6) triple11) -> rule3)) -> rule6) OR ((((triple12 ((((triple3 triple2) -> rule6) triple6) -> rule8)) -> rule2) ((((triple8 triple7) -> rule4) triple11) -> rule3)) -> rule6))]
("rabbit" "eats" "rabbit" "+")
((((triple12 triple8) -> (rule2 % int2)) triple9) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
((((triple12 triple8) -> (rule2 % int3)) ((triple1 triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
((((triple12 ((triple1 triple6) -> (rule8 % int3))) -> (rule2 % int2)) triple9) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int3
((((triple12 triple8) -> (rule2 % int4)) ((((triple3 triple2) -> (rule6 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int3
The rabbit is green.
("rabbit" "is" "green" "+")
int4
((((triple12 triple8) -> (rule2 % int4)) ((((triple8 triple7) -> (rule4 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int3
The rabbit is green.
("rabbit" "is" "green" "+")
int4
((((triple12 ((triple1 triple6) -> (rule8 % int4))) -> (rule2 % int3)) ((triple1 triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int4
((((triple12 ((triple1 triple6) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple3 triple2) -> (rule6 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int3
The rabbit is green.
("rabbit" "is" "green" "+")
int4
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int5
((((triple12 ((triple1 triple6) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple8 triple7) -> (rule4 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int3
The rabbit is green.
("rabbit" "is" "green" "+")
int4
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int5
((((triple12 ((((triple3 triple2) -> (rule6 % int4)) triple6) -> (rule8 % int3))) -> (rule2 % int2)) triple9) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int3
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int4
((((triple12 ((((triple3 triple2) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule2 % int3)) ((triple1 triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int4
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int5
((((triple12 ((((triple3 triple2) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule2 % int3)) ((((triple3 triple2) -> (rule6 % int5)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int4
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int5
((((triple12 ((((triple3 triple2) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule2 % int3)) ((((triple8 triple7) -> (rule4 % int5)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int4
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int5
The rabbit does not eat the rabbit.
False
5
inv-proof
[(((((triple12 triple8) -> rule2) triple9) -> rule6) OR ((((triple12 triple8) -> rule2) ((triple1 triple11) -> rule3)) -> rule6) OR ((((triple12 ((triple1 triple6) -> rule8)) -> rule2) triple9) -> rule6) OR ((((triple12 triple8) -> rule2) ((((triple3 triple2) -> rule6) triple11) -> rule3)) -> rule6) OR ((((triple12 triple8) -> rule2) ((((triple8 triple7) -> rule4) triple11) -> rule3)) -> rule6) OR ((((triple12 ((triple1 triple6) -> rule8)) -> rule2) ((triple1 triple11) -> rule3)) -> rule6) OR ((((triple12 ((triple1 triple6) -> rule8)) -> rule2) ((((triple3 triple2) -> rule6) triple11) -> rule3)) -> rule6) OR ((((triple12 ((triple1 triple6) -> rule8)) -> rule2) ((((triple8 triple7) -> rule4) triple11) -> rule3)) -> rule6) OR ((((triple12 ((((triple3 triple2) -> rule6) triple6) -> rule8)) -> rule2) triple9) -> rule6) OR ((((triple12 ((((triple3 triple2) -> rule6) triple6) -> rule8)) -> rule2) ((triple1 triple11) -> rule3)) -> rule6) OR ((((triple12 ((((triple3 triple2) -> rule6) triple6) -> rule8)) -> rule2) ((((triple3 triple2) -> rule6) triple11) -> rule3)) -> rule6) OR ((((triple12 ((((triple3 triple2) -> rule6) triple6) -> rule8)) -> rule2) ((((triple8 triple7) -> rule4) triple11) -> rule3)) -> rule6))]
("rabbit" "eats" "rabbit" "-")
((((triple12 triple8) -> (rule2 % int2)) triple9) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
((((triple12 triple8) -> (rule2 % int3)) ((triple1 triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
((((triple12 ((triple1 triple6) -> (rule8 % int3))) -> (rule2 % int2)) triple9) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int3
((((triple12 triple8) -> (rule2 % int4)) ((((triple3 triple2) -> (rule6 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int3
The rabbit is green.
("rabbit" "is" "green" "+")
int4
((((triple12 triple8) -> (rule2 % int4)) ((((triple8 triple7) -> (rule4 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int3
The rabbit is green.
("rabbit" "is" "green" "+")
int4
((((triple12 ((triple1 triple6) -> (rule8 % int4))) -> (rule2 % int3)) ((triple1 triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int4
((((triple12 ((triple1 triple6) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple3 triple2) -> (rule6 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int3
The rabbit is green.
("rabbit" "is" "green" "+")
int4
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int5
((((triple12 ((triple1 triple6) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple8 triple7) -> (rule4 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int3
The rabbit is green.
("rabbit" "is" "green" "+")
int4
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int5
((((triple12 ((((triple3 triple2) -> (rule6 % int4)) triple6) -> (rule8 % int3))) -> (rule2 % int2)) triple9) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int3
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int4
((((triple12 ((((triple3 triple2) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule2 % int3)) ((triple1 triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int4
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int5
((((triple12 ((((triple3 triple2) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule2 % int3)) ((((triple3 triple2) -> (rule6 % int5)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int4
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int5
((((triple12 ((((triple3 triple2) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule2 % int3)) ((((triple8 triple7) -> (rule4 % int5)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int4
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int5
The lion is not kind.
Unknown
inv-rconc
[@1: The lion is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "is" "kind" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
The rabbit is not rough.
Unknown
inv-random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The lion does not need the rabbit.[(triple6)] The lion eats the rabbit.[(triple1 OR ((triple3 triple2) -> rule6) OR ((triple8 triple7) -> rule4))] The lion is cold.[(triple2)] The lion is green.[(triple3)] The lion is not nice.[(triple4)] The lion is rough.[(triple5)] The lion sees the rabbit.[(triple7)] The rabbit eats the lion.[(triple8 OR ((triple1 triple6) -> rule8) OR ((((triple3 triple2) -> rule6) triple6) -> rule8))] The rabbit is cold.[(triple9 OR ((triple1 triple11) -> rule3) OR ((((triple3 triple2) -> rule6) triple11) -> rule3) OR ((((triple8 triple7) -> rule4) triple11) -> rule3))] The rabbit is kind.[(triple10)] The rabbit needs the lion.[(triple11)] The rabbit sees the lion.[(triple12)] @1: The rabbit is green.[(((triple12 triple8) -> rule2) OR ((triple12 ((triple1 triple6) -> rule8)) -> rule2) OR ((triple12 ((((triple3 triple2) -> rule6) triple6) -> rule8)) -> rule2))] The rabbit is nice.[(((triple3 triple7) -> rule7))] @2: The rabbit eats the rabbit.[(((((triple12 triple8) -> rule2) triple9) -> rule6) OR ((((triple12 triple8) -> rule2) ((triple1 triple11) -> rule3)) -> rule6) OR ((((triple12 ((triple1 triple6) -> rule8)) -> rule2) triple9) -> rule6) OR ((((triple12 triple8) -> rule2) ((((triple3 triple2) -> rule6) triple11) -> rule3)) -> rule6) OR ((((triple12 triple8) -> rule2) ((((triple8 triple7) -> rule4) triple11) -> rule3)) -> rule6) OR ((((triple12 ((triple1 triple6) -> rule8)) -> rule2) ((triple1 triple11) -> rule3)) -> rule6) OR ((((triple12 ((triple1 triple6) -> rule8)) -> rule2) ((((triple3 triple2) -> rule6) triple11) -> rule3)) -> rule6) OR ((((triple12 ((triple1 triple6) -> rule8)) -> rule2) ((((triple8 triple7) -> rule4) triple11) -> rule3)) -> rule6) OR ((((triple12 ((((triple3 triple2) -> rule6) triple6) -> rule8)) -> rule2) triple9) -> rule6) OR ((((triple12 ((((triple3 triple2) -> rule6) triple6) -> rule8)) -> rule2) ((triple1 triple11) -> rule3)) -> rule6) OR ((((triple12 ((((triple3 triple2) -> rule6) triple6) -> rule8)) -> rule2) ((((triple3 triple2) -> rule6) triple11) -> rule3)) -> rule6) OR ((((triple12 ((((triple3 triple2) -> rule6) triple6) -> rule8)) -> rule2) ((((triple8 triple7) -> rule4) triple11) -> rule3)) -> rule6))]
The lion does not need the rabbit.
("lion" "needs" "rabbit" "-")
triple6
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple1
((triple3 triple2) -> (rule6 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
((triple8 triple7) -> (rule4 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
triple2
The lion is green.
("lion" "is" "green" "+")
triple3
The lion is not nice.
("lion" "is" "nice" "-")
triple4
The lion is rough.
("lion" "is" "rough" "+")
triple5
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple7
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple8
((triple1 triple6) -> (rule8 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1
((((triple3 triple2) -> (rule6 % int2)) triple6) -> (rule8 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int2
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple9
((triple1 triple11) -> (rule3 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((((triple3 triple2) -> (rule6 % int2)) triple11) -> (rule3 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int2
((((triple8 triple7) -> (rule4 % int2)) triple11) -> (rule3 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple11
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple12
The rabbit is green.
("rabbit" "is" "green" "+")
((triple12 triple8) -> (rule2 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
((triple12 ((triple1 triple6) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int2
((triple12 ((((triple3 triple2) -> (rule6 % int3)) triple6) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int2
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int3
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple3 triple7) -> (rule7 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((((triple12 triple8) -> (rule2 % int2)) triple9) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
((((triple12 triple8) -> (rule2 % int3)) ((triple1 triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
((((triple12 ((triple1 triple6) -> (rule8 % int3))) -> (rule2 % int2)) triple9) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int3
((((triple12 triple8) -> (rule2 % int4)) ((((triple3 triple2) -> (rule6 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int3
The rabbit is green.
("rabbit" "is" "green" "+")
int4
((((triple12 triple8) -> (rule2 % int4)) ((((triple8 triple7) -> (rule4 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int3
The rabbit is green.
("rabbit" "is" "green" "+")
int4
((((triple12 ((triple1 triple6) -> (rule8 % int4))) -> (rule2 % int3)) ((triple1 triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int4
((((triple12 ((triple1 triple6) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple3 triple2) -> (rule6 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int3
The rabbit is green.
("rabbit" "is" "green" "+")
int4
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int5
((((triple12 ((triple1 triple6) -> (rule8 % int5))) -> (rule2 % int4)) ((((triple8 triple7) -> (rule4 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int3
The rabbit is green.
("rabbit" "is" "green" "+")
int4
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int5
((((triple12 ((((triple3 triple2) -> (rule6 % int4)) triple6) -> (rule8 % int3))) -> (rule2 % int2)) triple9) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int3
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int4
((((triple12 ((((triple3 triple2) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule2 % int3)) ((triple1 triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int4
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int5
((((triple12 ((((triple3 triple2) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule2 % int3)) ((((triple3 triple2) -> (rule6 % int5)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int4
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int5
((((triple12 ((((triple3 triple2) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule2 % int3)) ((((triple8 triple7) -> (rule4 % int5)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int4
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int5