The lion chases the rabbit. The lion is kind. The lion likes the rabbit. The lion sees the rabbit. The rabbit is kind. The rabbit likes the lion. The rabbit sees the lion. If the lion chases the rabbit and the rabbit sees the lion then the rabbit is round. If something likes the rabbit and it is round then the rabbit is nice. If something likes the rabbit then the rabbit sees the lion. If something likes the rabbit then the rabbit chases the lion. If something chases the lion then the lion is round. If something is nice then it is cold. If something likes the lion then it likes the rabbit. If something is nice and it likes the lion then it likes the rabbit.
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
If the lion chases the rabbit and the rabbit sees the lion then the rabbit is round.
((("lion" "chases" "rabbit" "+") ("rabbit" "sees" "lion" "+")) -> ("rabbit" "is" "round" "+"))
If something likes the rabbit and it is round then the rabbit is nice.
((("something" "likes" "rabbit" "+") ("something" "is" "round" "+")) -> ("rabbit" "is" "nice" "+"))
If something likes the rabbit then the rabbit sees the lion.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "sees" "lion" "+"))
If something likes the rabbit then the rabbit chases the lion.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "chases" "lion" "+"))
If something chases the lion then the lion is round.
((("something" "chases" "lion" "+")) -> ("lion" "is" "round" "+"))
If something is nice then it is cold.
((("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
If something likes the lion then it likes the rabbit.
((("something" "likes" "lion" "+")) -> ("something" "likes" "rabbit" "+"))
If something is nice and it likes the lion then it likes the rabbit.
((("something" "is" "nice" "+") ("something" "likes" "lion" "+")) -> ("something" "likes" "rabbit" "+"))
The lion sees the rabbit.
True
1
proof
[(triple4)]
("lion" "sees" "rabbit" "+")
triple4
The lion does not see the rabbit.
False
1
inv-proof
[(triple4)]
("lion" "sees" "rabbit" "-")
triple4
The rabbit is round.
True
3
proof
[(((triple1 triple7) -> rule1) OR ((triple1 ((triple3) -> rule3)) -> rule1) OR ((triple1 ((((triple6) -> rule7)) -> rule3)) -> rule1) OR ((triple1 ((((((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2) triple6) -> rule8)) -> rule3)) -> rule1))]
("rabbit" "is" "round" "+")
((triple1 triple7) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
((triple1 ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int2
((triple1 ((((triple6) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
((triple1 ((((((triple3 ((((triple3) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule2 % int4)) triple6) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit is nice.
("rabbit" "is" "nice" "+")
int4
The lion is round.
("lion" "is" "round" "+")
int5
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int6
The rabbit does not like the rabbit.
False
2
inv-proof
[(((triple6) -> rule7) OR ((((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2) triple6) -> rule8))]
("rabbit" "likes" "rabbit" "-")
((triple6) -> (rule7 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
((((triple3 ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple6) -> (rule8 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int4
The lion is round.
True
3
proof
[(((((triple3) -> rule4)) -> rule5) OR ((((((triple6) -> rule7)) -> rule4)) -> rule5))]
("lion" "is" "round" "+")
((((triple3) -> (rule4 % int2))) -> (rule5 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int2
((((((triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit is not nice.
False
5
inv-proof
[(((((triple6) -> rule7) ((triple1 triple7) -> rule1)) -> rule2) OR ((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((triple6) -> rule7) ((triple1 ((triple3) -> rule3)) -> rule1)) -> rule2) OR ((triple3 ((((((triple6) -> rule7)) -> rule4)) -> rule5)) -> rule2) OR ((((triple6) -> rule7) ((triple1 ((((triple6) -> rule7)) -> rule3)) -> rule1)) -> rule2))]
("rabbit" "is" "nice" "-")
((((triple6) -> (rule7 % int3)) ((triple1 triple7) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
((triple3 ((((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int3
((((triple6) -> (rule7 % int4)) ((triple1 ((triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int3
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int4
((triple3 ((((((triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int3
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int4
((((triple6) -> (rule7 % int4)) ((triple1 ((((triple6) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int3
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int4
The rabbit is cold.
True
6
proof
[(((((((triple6) -> rule7) ((triple1 triple7) -> rule1)) -> rule2)) -> rule6) OR ((((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2)) -> rule6) OR ((((((triple6) -> rule7) ((triple1 ((triple3) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((triple3 ((((((triple6) -> rule7)) -> rule4)) -> rule5)) -> rule2)) -> rule6) OR ((((((triple6) -> rule7) ((triple1 ((((triple6) -> rule7)) -> rule3)) -> rule1)) -> rule2)) -> rule6))]
("rabbit" "is" "cold" "+")
((((((triple6) -> (rule7 % int4)) ((triple1 triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int4
((((triple3 ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int4
((((((triple6) -> (rule7 % int5)) ((triple1 ((triple3) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int4
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int5
((((triple3 ((((((triple6) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int4
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int5
((((((triple6) -> (rule7 % int5)) ((triple1 ((((triple6) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int4
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int5
The rabbit is not cold.
False
6
inv-proof
[(((((((triple6) -> rule7) ((triple1 triple7) -> rule1)) -> rule2)) -> rule6) OR ((((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2)) -> rule6) OR ((((((triple6) -> rule7) ((triple1 ((triple3) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((triple3 ((((((triple6) -> rule7)) -> rule4)) -> rule5)) -> rule2)) -> rule6) OR ((((((triple6) -> rule7) ((triple1 ((((triple6) -> rule7)) -> rule3)) -> rule1)) -> rule2)) -> rule6))]
("rabbit" "is" "cold" "-")
((((((triple6) -> (rule7 % int4)) ((triple1 triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int4
((((triple3 ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int4
((((((triple6) -> (rule7 % int5)) ((triple1 ((triple3) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int4
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int5
((((triple3 ((((((triple6) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int4
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int5
((((((triple6) -> (rule7 % int5)) ((triple1 ((((triple6) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int4
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int5
The lion is not cold.
Unknown
inv-rconc
[@1: The lion is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "is" "cold" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
The lion is not blue.
Unknown
inv-random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit is blue.
Unknown
random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "+")
@0: The lion chases the rabbit.[(triple1)] The lion is kind.[(triple2)] The lion likes the rabbit.[(triple3)] The lion sees the rabbit.[(triple4)] The rabbit is kind.[(triple5)] The rabbit likes the lion.[(triple6)] The rabbit sees the lion.[(triple7 OR ((triple3) -> rule3) OR ((((triple6) -> rule7)) -> rule3) OR ((((((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2) triple6) -> rule8)) -> rule3))] @1: The rabbit chases the lion.[(((triple3) -> rule4) OR ((((triple6) -> rule7)) -> rule4))] The rabbit is round.[(((triple1 triple7) -> rule1) OR ((triple1 ((triple3) -> rule3)) -> rule1) OR ((triple1 ((((triple6) -> rule7)) -> rule3)) -> rule1) OR ((triple1 ((((((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2) triple6) -> rule8)) -> rule3)) -> rule1))] The rabbit likes the rabbit.[(((triple6) -> rule7) OR ((((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2) triple6) -> rule8))] @2: The lion is round.[(((((triple3) -> rule4)) -> rule5) OR ((((((triple6) -> rule7)) -> rule4)) -> rule5))] The rabbit is nice.[(((((triple6) -> rule7) ((triple1 triple7) -> rule1)) -> rule2) OR ((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((triple6) -> rule7) ((triple1 ((triple3) -> rule3)) -> rule1)) -> rule2) OR ((triple3 ((((((triple6) -> rule7)) -> rule4)) -> rule5)) -> rule2) OR ((((triple6) -> rule7) ((triple1 ((((triple6) -> rule7)) -> rule3)) -> rule1)) -> rule2))] @3: The rabbit is cold.[(((((((triple6) -> rule7) ((triple1 triple7) -> rule1)) -> rule2)) -> rule6) OR ((((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2)) -> rule6) OR ((((((triple6) -> rule7) ((triple1 ((triple3) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((triple3 ((((((triple6) -> rule7)) -> rule4)) -> rule5)) -> rule2)) -> rule6) OR ((((((triple6) -> rule7) ((triple1 ((((triple6) -> rule7)) -> rule3)) -> rule1)) -> rule2)) -> rule6))]
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple1
The lion is kind.
("lion" "is" "kind" "+")
triple2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple3
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple4
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple5
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple6
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple7
((triple3) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
((((triple6) -> (rule7 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
((((((triple3 ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) triple6) -> (rule8 % int2))) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The lion is round.
("lion" "is" "round" "+")
int4
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int5
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
((triple3) -> (rule4 % int1))
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int1
((((triple6) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
((triple1 triple7) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
((triple1 ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int2
((triple1 ((((triple6) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
((triple1 ((((((triple3 ((((triple3) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule2 % int4)) triple6) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit is nice.
("rabbit" "is" "nice" "+")
int4
The lion is round.
("lion" "is" "round" "+")
int5
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int6
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple6) -> (rule7 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
((((triple3 ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple6) -> (rule8 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int4
The lion is round.
("lion" "is" "round" "+")
((((triple3) -> (rule4 % int2))) -> (rule5 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int2
((((((triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit is nice.
("rabbit" "is" "nice" "+")
((((triple6) -> (rule7 % int3)) ((triple1 triple7) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
((triple3 ((((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int3
((((triple6) -> (rule7 % int4)) ((triple1 ((triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int3
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int4
((triple3 ((((((triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int3
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int4
((((triple6) -> (rule7 % int4)) ((triple1 ((((triple6) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int3
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int4
The rabbit is cold.
("rabbit" "is" "cold" "+")
((((((triple6) -> (rule7 % int4)) ((triple1 triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int4
((((triple3 ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int4
((((((triple6) -> (rule7 % int5)) ((triple1 ((triple3) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int4
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int5
((((triple3 ((((((triple6) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int4
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int5
((((((triple6) -> (rule7 % int5)) ((triple1 ((((triple6) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int4
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int5