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