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