The lion is cold. The lion is green. The lion is red. The lion is rough. The lion is young. If the lion is red then the lion is young. Cold people are green. If someone is rough and red then they are green. All red people are green. Green, rough people are young. If someone is red then they are rough. If someone is red then they are rough. If someone is green then they are red.
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
If the lion is red then the lion is young.
((("lion" "is" "red" "+")) -> ("lion" "is" "young" "+"))
Cold people are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and red then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
All red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Green, rough people are young.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is red then they are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is red then they are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is green then they are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
The lion is young.
True
1
proof
[(triple5 OR ((triple3) -> rule1) OR ((triple2 triple4) -> rule5) OR ((((triple2) -> rule8)) -> rule1) OR ((triple2 ((triple3) -> rule6)) -> rule5) OR ((triple2 ((triple3) -> rule7)) -> rule5) OR ((((triple1) -> rule2) triple4) -> rule5) OR ((((triple3) -> rule4) triple4) -> rule5) OR ((((triple4 triple3) -> rule3) triple4) -> rule5) OR ((((triple1) -> rule2) ((triple3) -> rule6)) -> rule5) OR ((((triple1) -> rule2) ((triple3) -> rule7)) -> rule5) OR ((((triple3) -> rule4) ((triple3) -> rule6)) -> rule5) OR ((((triple3) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((triple4 triple3) -> rule3) ((triple3) -> rule6)) -> rule5) OR ((((triple4 triple3) -> rule3) ((triple3) -> rule7)) -> rule5) OR ((((((triple1) -> rule2)) -> rule8)) -> rule1) OR ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((triple2 ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) triple4) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) triple4) -> rule5) OR ((((triple1) -> rule2) ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((triple1) -> rule2) ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((triple3) -> rule4) ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((triple3) -> rule4) ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((triple4 triple3) -> rule3) ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((triple4 triple3) -> rule3) ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((triple3) -> rule6)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((triple3) -> rule7)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((triple3) -> rule6)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((triple3) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((triple2 ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((triple2 ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5) OR ((((triple1) -> rule2) ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((triple1) -> rule2) ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5) OR ((((triple3) -> rule4) ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((triple3) -> rule4) ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5) OR ((((triple4 triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((triple4 triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5))]
("lion" "is" "young" "+")
triple5
((triple3) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
((triple2 triple4) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
((((triple2) -> (rule8 % int2))) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
((triple2 ((triple3) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
((triple2 ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
((((triple1) -> (rule2 % int2)) triple4) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
((((triple3) -> (rule4 % int2)) triple4) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
((((triple4 triple3) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
((((triple1) -> (rule2 % int3)) ((triple3) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((((triple1) -> (rule2 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((((triple3) -> (rule4 % int3)) ((triple3) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((((triple3) -> (rule4 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((((triple4 triple3) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((((triple4 triple3) -> (rule3 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((((((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((triple2 ((((triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
((triple2 ((((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
((((((triple3) -> (rule6 % int3)) triple3) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
((((((triple3) -> (rule7 % int3)) triple3) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
((((triple1) -> (rule2 % int4)) ((((triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple1) -> (rule2 % int4)) ((((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple3) -> (rule4 % int4)) ((((triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple3) -> (rule4 % int4)) ((((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple4 triple3) -> (rule3 % int4)) ((((triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple4 triple3) -> (rule3 % int4)) ((((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((((triple3) -> (rule6 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule6 % int3))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
((((((triple3) -> (rule6 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule7 % int3))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
((((((triple3) -> (rule7 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule6 % int3))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
((((((triple3) -> (rule7 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule7 % int3))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
((((((triple3) -> (rule6 % int4)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule8 % int2))) -> (rule6 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((((((triple3) -> (rule6 % int4)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule8 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((((((triple3) -> (rule7 % int4)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule8 % int2))) -> (rule6 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((((((triple3) -> (rule7 % int4)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule8 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((triple2 ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((triple2 ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple1) -> (rule2 % int4)) ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple1) -> (rule2 % int4)) ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple3) -> (rule4 % int4)) ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple3) -> (rule4 % int4)) ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple4 triple3) -> (rule3 % int4)) ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple4 triple3) -> (rule3 % int4)) ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((((triple3) -> (rule6 % int4)) triple3) -> (rule3 % int3)) ((((((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((((((triple3) -> (rule6 % int4)) triple3) -> (rule3 % int3)) ((((((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((((((triple3) -> (rule7 % int4)) triple3) -> (rule3 % int3)) ((((((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((((((triple3) -> (rule7 % int4)) triple3) -> (rule3 % int3)) ((((((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
The lion is not young.
False
1
inv-proof
[(triple5 OR ((triple3) -> rule1) OR ((triple2 triple4) -> rule5) OR ((((triple2) -> rule8)) -> rule1) OR ((triple2 ((triple3) -> rule6)) -> rule5) OR ((triple2 ((triple3) -> rule7)) -> rule5) OR ((((triple1) -> rule2) triple4) -> rule5) OR ((((triple3) -> rule4) triple4) -> rule5) OR ((((triple4 triple3) -> rule3) triple4) -> rule5) OR ((((triple1) -> rule2) ((triple3) -> rule6)) -> rule5) OR ((((triple1) -> rule2) ((triple3) -> rule7)) -> rule5) OR ((((triple3) -> rule4) ((triple3) -> rule6)) -> rule5) OR ((((triple3) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((triple4 triple3) -> rule3) ((triple3) -> rule6)) -> rule5) OR ((((triple4 triple3) -> rule3) ((triple3) -> rule7)) -> rule5) OR ((((((triple1) -> rule2)) -> rule8)) -> rule1) OR ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((triple2 ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) triple4) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) triple4) -> rule5) OR ((((triple1) -> rule2) ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((triple1) -> rule2) ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((triple3) -> rule4) ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((triple3) -> rule4) ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((triple4 triple3) -> rule3) ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((triple4 triple3) -> rule3) ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((triple3) -> rule6)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((triple3) -> rule7)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((triple3) -> rule6)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((triple3) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((triple2 ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((triple2 ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5) OR ((((triple1) -> rule2) ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((triple1) -> rule2) ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5) OR ((((triple3) -> rule4) ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((triple3) -> rule4) ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5) OR ((((triple4 triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((triple4 triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5))]
("lion" "is" "young" "-")
triple5
((triple3) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
((triple2 triple4) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
((((triple2) -> (rule8 % int2))) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
((triple2 ((triple3) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
((triple2 ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
((((triple1) -> (rule2 % int2)) triple4) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
((((triple3) -> (rule4 % int2)) triple4) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
((((triple4 triple3) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
((((triple1) -> (rule2 % int3)) ((triple3) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((((triple1) -> (rule2 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((((triple3) -> (rule4 % int3)) ((triple3) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((((triple3) -> (rule4 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((((triple4 triple3) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((((triple4 triple3) -> (rule3 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((((((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((triple2 ((((triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
((triple2 ((((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
((((((triple3) -> (rule6 % int3)) triple3) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
((((((triple3) -> (rule7 % int3)) triple3) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
((((triple1) -> (rule2 % int4)) ((((triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple1) -> (rule2 % int4)) ((((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple3) -> (rule4 % int4)) ((((triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple3) -> (rule4 % int4)) ((((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple4 triple3) -> (rule3 % int4)) ((((triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple4 triple3) -> (rule3 % int4)) ((((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((((triple3) -> (rule6 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule6 % int3))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
((((((triple3) -> (rule6 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule7 % int3))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
((((((triple3) -> (rule7 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule6 % int3))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
((((((triple3) -> (rule7 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule7 % int3))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
((((((triple3) -> (rule6 % int4)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule8 % int2))) -> (rule6 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((((((triple3) -> (rule6 % int4)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule8 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((((((triple3) -> (rule7 % int4)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule8 % int2))) -> (rule6 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((((((triple3) -> (rule7 % int4)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule8 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((triple2 ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((triple2 ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple1) -> (rule2 % int4)) ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple1) -> (rule2 % int4)) ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple3) -> (rule4 % int4)) ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple3) -> (rule4 % int4)) ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple4 triple3) -> (rule3 % int4)) ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple4 triple3) -> (rule3 % int4)) ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((((triple3) -> (rule6 % int4)) triple3) -> (rule3 % int3)) ((((((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((((((triple3) -> (rule6 % int4)) triple3) -> (rule3 % int3)) ((((((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((((((triple3) -> (rule7 % int4)) triple3) -> (rule3 % int3)) ((((((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((((((triple3) -> (rule7 % int4)) triple3) -> (rule3 % int3)) ((((((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
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 likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The lion is cold.[(triple1)] The lion is green.[(triple2 OR ((triple1) -> rule2) OR ((triple3) -> rule4) OR ((triple4 triple3) -> rule3) OR ((((triple3) -> rule6) triple3) -> rule3) OR ((((triple3) -> rule7) triple3) -> rule3))] The lion is red.[(triple3 OR ((triple2) -> rule8) OR ((((triple1) -> rule2)) -> rule8))] The lion is rough.[(triple4 OR ((triple3) -> rule6) OR ((triple3) -> rule7) OR ((((triple2) -> rule8)) -> rule6) OR ((((triple2) -> rule8)) -> rule7) OR ((((((triple1) -> rule2)) -> rule8)) -> rule6) OR ((((((triple1) -> rule2)) -> rule8)) -> rule7))] The lion is young.[(triple5 OR ((triple3) -> rule1) OR ((triple2 triple4) -> rule5) OR ((((triple2) -> rule8)) -> rule1) OR ((triple2 ((triple3) -> rule6)) -> rule5) OR ((triple2 ((triple3) -> rule7)) -> rule5) OR ((((triple1) -> rule2) triple4) -> rule5) OR ((((triple3) -> rule4) triple4) -> rule5) OR ((((triple4 triple3) -> rule3) triple4) -> rule5) OR ((((triple1) -> rule2) ((triple3) -> rule6)) -> rule5) OR ((((triple1) -> rule2) ((triple3) -> rule7)) -> rule5) OR ((((triple3) -> rule4) ((triple3) -> rule6)) -> rule5) OR ((((triple3) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((triple4 triple3) -> rule3) ((triple3) -> rule6)) -> rule5) OR ((((triple4 triple3) -> rule3) ((triple3) -> rule7)) -> rule5) OR ((((((triple1) -> rule2)) -> rule8)) -> rule1) OR ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((triple2 ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) triple4) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) triple4) -> rule5) OR ((((triple1) -> rule2) ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((triple1) -> rule2) ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((triple3) -> rule4) ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((triple3) -> rule4) ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((triple4 triple3) -> rule3) ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((triple4 triple3) -> rule3) ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((triple3) -> rule6)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((triple3) -> rule7)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((triple3) -> rule6)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((triple3) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((triple2 ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((triple2 ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5) OR ((((triple1) -> rule2) ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((triple1) -> rule2) ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5) OR ((((triple3) -> rule4) ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((triple3) -> rule4) ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5) OR ((((triple4 triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((triple4 triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5))]
The lion is cold.
("lion" "is" "cold" "+")
triple1
The lion is green.
("lion" "is" "green" "+")
triple2
((triple1) -> (rule2 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
((triple3) -> (rule4 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
((triple4 triple3) -> (rule3 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
((((triple3) -> (rule6 % int2)) triple3) -> (rule3 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
((((triple3) -> (rule7 % int2)) triple3) -> (rule3 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
triple3
((triple2) -> (rule8 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule8 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
triple4
((triple3) -> (rule6 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
((triple3) -> (rule7 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
((((triple2) -> (rule8 % int2))) -> (rule6 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
((((triple2) -> (rule8 % int2))) -> (rule7 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
((((((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((((((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is young.
("lion" "is" "young" "+")
triple5
((triple3) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
((triple2 triple4) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
((((triple2) -> (rule8 % int2))) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
((triple2 ((triple3) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
((triple2 ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
((((triple1) -> (rule2 % int2)) triple4) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
((((triple3) -> (rule4 % int2)) triple4) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
((((triple4 triple3) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
((((triple1) -> (rule2 % int3)) ((triple3) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((((triple1) -> (rule2 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((((triple3) -> (rule4 % int3)) ((triple3) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((((triple3) -> (rule4 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((((triple4 triple3) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((((triple4 triple3) -> (rule3 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((((((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((triple2 ((((triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
((triple2 ((((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
((((((triple3) -> (rule6 % int3)) triple3) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
((((((triple3) -> (rule7 % int3)) triple3) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
((((triple1) -> (rule2 % int4)) ((((triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple1) -> (rule2 % int4)) ((((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple3) -> (rule4 % int4)) ((((triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple3) -> (rule4 % int4)) ((((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple4 triple3) -> (rule3 % int4)) ((((triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple4 triple3) -> (rule3 % int4)) ((((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((((triple3) -> (rule6 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule6 % int3))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
((((((triple3) -> (rule6 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule7 % int3))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
((((((triple3) -> (rule7 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule6 % int3))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
((((((triple3) -> (rule7 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule7 % int3))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
((((((triple3) -> (rule6 % int4)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule8 % int2))) -> (rule6 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((((((triple3) -> (rule6 % int4)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule8 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((((((triple3) -> (rule7 % int4)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule8 % int2))) -> (rule6 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((((((triple3) -> (rule7 % int4)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule8 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((triple2 ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((triple2 ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple1) -> (rule2 % int4)) ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple1) -> (rule2 % int4)) ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple3) -> (rule4 % int4)) ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple3) -> (rule4 % int4)) ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple4 triple3) -> (rule3 % int4)) ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((triple4 triple3) -> (rule3 % int4)) ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
((((((triple3) -> (rule6 % int4)) triple3) -> (rule3 % int3)) ((((((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((((((triple3) -> (rule6 % int4)) triple3) -> (rule3 % int3)) ((((((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((((((triple3) -> (rule7 % int4)) triple3) -> (rule3 % int3)) ((((((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((((((triple3) -> (rule7 % int4)) triple3) -> (rule3 % int3)) ((((((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4