The lion is cold. The lion is nice. The lion is red. The lion is round. The lion is young. All round, cold people are nice. All cold, nice people are red. All round people are young. Red people are cold. All cold, nice people are round. All young people are nice. If the lion is round and the lion is young then the lion is cold. If someone is round then they are young.
The lion is cold.
("lion" "is" "cold" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
All round, cold people are nice.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
All cold, nice people are red.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
All round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Red people are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
All cold, nice people are round.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
All young people are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If the lion is round and the lion is young then the lion is cold.
((("lion" "is" "round" "+") ("lion" "is" "young" "+")) -> ("lion" "is" "cold" "+"))
If someone is round then they are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
The lion is nice.
True
1
proof
[(triple2 OR ((triple5) -> rule6) OR ((triple4 triple1) -> rule1) OR ((((triple4) -> rule3)) -> rule6) OR ((((triple4) -> rule8)) -> rule6) OR ((triple4 ((triple3) -> rule4)) -> rule1) OR ((triple4 ((triple4 triple5) -> rule7)) -> rule1) OR ((triple4 ((triple4 ((triple4) -> rule3)) -> rule7)) -> rule1) OR ((triple4 ((triple4 ((triple4) -> rule8)) -> rule7)) -> rule1))]
("lion" "is" "nice" "+")
triple2
((triple5) -> (rule6 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
((triple4 triple1) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule6 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
((((triple4) -> (rule8 % int2))) -> (rule6 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
((triple4 ((triple3) -> (rule4 % int2))) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
((triple4 ((triple4 triple5) -> (rule7 % int2))) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
((triple4 ((triple4 ((triple4) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
((triple4 ((triple4 ((triple4) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
The lion is not young.
False
1
inv-proof
[(triple5 OR ((triple4) -> rule3) OR ((triple4) -> rule8) OR ((((triple1 triple2) -> rule5)) -> rule3) OR ((((triple1 triple2) -> rule5)) -> rule8) OR ((((((triple3) -> rule4) triple2) -> rule5)) -> rule3) OR ((((((triple3) -> rule4) triple2) -> rule5)) -> rule8))]
("lion" "is" "young" "-")
triple5
((triple4) -> (rule3 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
((triple4) -> (rule8 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
((((triple1 triple2) -> (rule5 % int2))) -> (rule3 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
((((triple1 triple2) -> (rule5 % int2))) -> (rule8 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
((((((triple3) -> (rule4 % int3)) triple2) -> (rule5 % int2))) -> (rule3 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
((((((triple3) -> (rule4 % int3)) triple2) -> (rule5 % int2))) -> (rule8 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The lion is cold.[(triple1 OR ((triple3) -> rule4) OR ((triple4 triple5) -> rule7) OR ((triple4 ((triple4) -> rule3)) -> rule7) OR ((triple4 ((triple4) -> rule8)) -> rule7))] The lion is nice.[(triple2 OR ((triple5) -> rule6) OR ((triple4 triple1) -> rule1) OR ((((triple4) -> rule3)) -> rule6) OR ((((triple4) -> rule8)) -> rule6) OR ((triple4 ((triple3) -> rule4)) -> rule1) OR ((triple4 ((triple4 triple5) -> rule7)) -> rule1) OR ((triple4 ((triple4 ((triple4) -> rule3)) -> rule7)) -> rule1) OR ((triple4 ((triple4 ((triple4) -> rule8)) -> rule7)) -> rule1))] The lion is red.[(triple3 OR ((triple1 triple2) -> rule2) OR ((triple1 ((triple5) -> rule6)) -> rule2) OR ((triple1 ((triple4 triple1) -> rule1)) -> rule2) OR ((((triple4 triple5) -> rule7) triple2) -> rule2) OR ((((triple4 triple5) -> rule7) ((triple5) -> rule6)) -> rule2) OR ((((triple4 triple5) -> rule7) ((triple4 triple1) -> rule1)) -> rule2) OR ((triple1 ((((triple4) -> rule3)) -> rule6)) -> rule2) OR ((triple1 ((((triple4) -> rule8)) -> rule6)) -> rule2) OR ((triple1 ((triple4 ((triple4 triple5) -> rule7)) -> rule1)) -> rule2) OR ((((triple4 ((triple4) -> rule3)) -> rule7) triple2) -> rule2) OR ((((triple4 ((triple4) -> rule8)) -> rule7) triple2) -> rule2) OR ((((triple4 triple5) -> rule7) ((((triple4) -> rule3)) -> rule6)) -> rule2) OR ((((triple4 triple5) -> rule7) ((((triple4) -> rule8)) -> rule6)) -> rule2) OR ((((triple4 triple5) -> rule7) ((triple4 ((triple4 triple5) -> rule7)) -> rule1)) -> rule2) OR ((((triple4 ((triple4) -> rule3)) -> rule7) ((triple5) -> rule6)) -> rule2) OR ((((triple4 ((triple4) -> rule3)) -> rule7) ((triple4 triple1) -> rule1)) -> rule2) OR ((((triple4 ((triple4) -> rule8)) -> rule7) ((triple5) -> rule6)) -> rule2) OR ((((triple4 ((triple4) -> rule8)) -> rule7) ((triple4 triple1) -> rule1)) -> rule2) OR ((((triple4 ((triple4) -> rule3)) -> rule7) ((((triple4) -> rule3)) -> rule6)) -> rule2) OR ((((triple4 ((triple4) -> rule3)) -> rule7) ((((triple4) -> rule8)) -> rule6)) -> rule2) OR ((((triple4 ((triple4) -> rule3)) -> rule7) ((triple4 ((triple4 triple5) -> rule7)) -> rule1)) -> rule2) OR ((((triple4 ((triple4) -> rule8)) -> rule7) ((((triple4) -> rule3)) -> rule6)) -> rule2) OR ((((triple4 ((triple4) -> rule8)) -> rule7) ((((triple4) -> rule8)) -> rule6)) -> rule2) OR ((((triple4 ((triple4) -> rule8)) -> rule7) ((triple4 ((triple4 triple5) -> rule7)) -> rule1)) -> rule2) OR ((triple1 ((triple4 ((triple4 ((triple4) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((triple1 ((triple4 ((triple4 ((triple4) -> rule8)) -> rule7)) -> rule1)) -> rule2) OR ((((triple4 triple5) -> rule7) ((triple4 ((triple4 ((triple4) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((((triple4 triple5) -> rule7) ((triple4 ((triple4 ((triple4) -> rule8)) -> rule7)) -> rule1)) -> rule2) OR ((((triple4 ((triple4) -> rule3)) -> rule7) ((triple4 ((triple4 ((triple4) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((((triple4 ((triple4) -> rule3)) -> rule7) ((triple4 ((triple4 ((triple4) -> rule8)) -> rule7)) -> rule1)) -> rule2) OR ((((triple4 ((triple4) -> rule8)) -> rule7) ((triple4 ((triple4 ((triple4) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((((triple4 ((triple4) -> rule8)) -> rule7) ((triple4 ((triple4 ((triple4) -> rule8)) -> rule7)) -> rule1)) -> rule2))] The lion is round.[(triple4 OR ((triple1 triple2) -> rule5) OR ((triple1 ((triple5) -> rule6)) -> rule5) OR ((((triple3) -> rule4) triple2) -> rule5) OR ((((triple3) -> rule4) ((triple5) -> rule6)) -> rule5))] The lion is young.[(triple5 OR ((triple4) -> rule3) OR ((triple4) -> rule8) OR ((((triple1 triple2) -> rule5)) -> rule3) OR ((((triple1 triple2) -> rule5)) -> rule8) OR ((((((triple3) -> rule4) triple2) -> rule5)) -> rule3) OR ((((((triple3) -> rule4) triple2) -> rule5)) -> rule8))]
The lion is cold.
("lion" "is" "cold" "+")
triple1
((triple3) -> (rule4 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
((triple4 triple5) -> (rule7 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
((triple4 ((triple4) -> (rule3 % int2))) -> (rule7 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
((triple4 ((triple4) -> (rule8 % int2))) -> (rule7 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
triple2
((triple5) -> (rule6 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
((triple4 triple1) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule6 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
((((triple4) -> (rule8 % int2))) -> (rule6 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
((triple4 ((triple3) -> (rule4 % int2))) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
((triple4 ((triple4 triple5) -> (rule7 % int2))) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
((triple4 ((triple4 ((triple4) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
((triple4 ((triple4 ((triple4) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
The lion is red.
("lion" "is" "red" "+")
triple3
((triple1 triple2) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
((triple1 ((triple5) -> (rule6 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
((triple1 ((triple4 triple1) -> (rule1 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
((((triple4 triple5) -> (rule7 % int2)) triple2) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
((((triple4 triple5) -> (rule7 % int3)) ((triple5) -> (rule6 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
((((triple4 triple5) -> (rule7 % int3)) ((triple4 triple1) -> (rule1 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
((triple1 ((((triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
((triple1 ((((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
((triple1 ((triple4 ((triple4 triple5) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
((((triple4 ((triple4) -> (rule3 % int3))) -> (rule7 % int2)) triple2) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
((((triple4 ((triple4) -> (rule8 % int3))) -> (rule7 % int2)) triple2) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
((((triple4 triple5) -> (rule7 % int4)) ((((triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
The lion is cold.
("lion" "is" "cold" "+")
int4
((((triple4 triple5) -> (rule7 % int4)) ((((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
The lion is cold.
("lion" "is" "cold" "+")
int4
((((triple4 triple5) -> (rule7 % int3)) ((triple4 ((triple4 triple5) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
((((triple4 ((triple4) -> (rule3 % int4))) -> (rule7 % int3)) ((triple5) -> (rule6 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The lion is young.
("lion" "is" "young" "+")
int4
((((triple4 ((triple4) -> (rule3 % int4))) -> (rule7 % int3)) ((triple4 triple1) -> (rule1 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The lion is young.
("lion" "is" "young" "+")
int4
((((triple4 ((triple4) -> (rule8 % int4))) -> (rule7 % int3)) ((triple5) -> (rule6 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The lion is young.
("lion" "is" "young" "+")
int4
((((triple4 ((triple4) -> (rule8 % int4))) -> (rule7 % int3)) ((triple4 triple1) -> (rule1 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The lion is young.
("lion" "is" "young" "+")
int4
((((triple4 ((triple4) -> (rule3 % int4))) -> (rule7 % int3)) ((((triple4) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The lion is young.
("lion" "is" "young" "+")
int4
((((triple4 ((triple4) -> (rule3 % int4))) -> (rule7 % int3)) ((((triple4) -> (rule8 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The lion is young.
("lion" "is" "young" "+")
int4
((((triple4 ((triple4) -> (rule3 % int4))) -> (rule7 % int3)) ((triple4 ((triple4 triple5) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The lion is young.
("lion" "is" "young" "+")
int4
((((triple4 ((triple4) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple4) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The lion is young.
("lion" "is" "young" "+")
int4
((((triple4 ((triple4) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple4) -> (rule8 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The lion is young.
("lion" "is" "young" "+")
int4
((((triple4 ((triple4) -> (rule8 % int4))) -> (rule7 % int3)) ((triple4 ((triple4 triple5) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The lion is young.
("lion" "is" "young" "+")
int4
((triple1 ((triple4 ((triple4 ((triple4) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The lion is young.
("lion" "is" "young" "+")
int4
((triple1 ((triple4 ((triple4 ((triple4) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The lion is young.
("lion" "is" "young" "+")
int4
((((triple4 triple5) -> (rule7 % int4)) ((triple4 ((triple4 ((triple4) -> (rule3 % int3))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
The lion is cold.
("lion" "is" "cold" "+")
int4
((((triple4 triple5) -> (rule7 % int4)) ((triple4 ((triple4 ((triple4) -> (rule8 % int3))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
The lion is cold.
("lion" "is" "cold" "+")
int4
((((triple4 ((triple4) -> (rule3 % int4))) -> (rule7 % int3)) ((triple4 ((triple4 ((triple4) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The lion is young.
("lion" "is" "young" "+")
int4
((((triple4 ((triple4) -> (rule3 % int4))) -> (rule7 % int3)) ((triple4 ((triple4 ((triple4) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The lion is young.
("lion" "is" "young" "+")
int4
((((triple4 ((triple4) -> (rule8 % int4))) -> (rule7 % int3)) ((triple4 ((triple4 ((triple4) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The lion is young.
("lion" "is" "young" "+")
int4
((((triple4 ((triple4) -> (rule8 % int4))) -> (rule7 % int3)) ((triple4 ((triple4 ((triple4) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The lion is young.
("lion" "is" "young" "+")
int4
The lion is round.
("lion" "is" "round" "+")
triple4
((triple1 triple2) -> (rule5 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
((triple1 ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
((((triple3) -> (rule4 % int2)) triple2) -> (rule5 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
((((triple3) -> (rule4 % int3)) ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The lion is young.
("lion" "is" "young" "+")
triple5
((triple4) -> (rule3 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
((triple4) -> (rule8 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
((((triple1 triple2) -> (rule5 % int2))) -> (rule3 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
((((triple1 triple2) -> (rule5 % int2))) -> (rule8 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
((((((triple3) -> (rule4 % int3)) triple2) -> (rule5 % int2))) -> (rule3 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
((((((triple3) -> (rule4 % int3)) triple2) -> (rule5 % int2))) -> (rule8 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3