The cow is green. The cow is red. The cow is young. Big, young things are red. All big things are red. Rough things are big. If something is green then it is big. Young things are big. All big, red things are rough. If the cow is red then the cow is young. If the cow is young then the cow is big.
The cow is green.
("cow" "is" "green" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is young.
("cow" "is" "young" "+")
Big, young things are red.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
All big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
Rough things are big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
If something is green then it is big.
((("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
Young things are big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
All big, red things are rough.
((("something" "is" "big" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If the cow is red then the cow is young.
((("cow" "is" "red" "+")) -> ("cow" "is" "young" "+"))
If the cow is young then the cow is big.
((("cow" "is" "young" "+")) -> ("cow" "is" "big" "+"))
The cow is green.
True
1
proof
[(triple1)]
("cow" "is" "green" "+")
triple1
The cow is not red.
False
1
inv-proof
[(triple2 OR ((((triple1) -> rule4)) -> rule2) OR ((((triple3) -> rule5)) -> rule2) OR ((((triple3) -> rule8)) -> rule2) OR ((((triple1) -> rule4) triple3) -> rule1) OR ((((triple3) -> rule5) triple3) -> rule1) OR ((((triple3) -> rule8) triple3) -> rule1))]
("cow" "is" "red" "-")
triple2
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple3) -> (rule5 % int2))) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple3) -> (rule8 % int2))) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple1) -> (rule4 % int2)) triple3) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple3) -> (rule5 % int2)) triple3) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple3) -> (rule8 % int2)) triple3) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is big.
True
2
proof
[(((triple1) -> rule4) OR ((triple3) -> rule5) OR ((triple3) -> rule8) OR ((((triple2) -> rule7)) -> rule5) OR ((((triple2) -> rule7)) -> rule8))]
("cow" "is" "big" "+")
((triple1) -> (rule4 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
((triple3) -> (rule5 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
((triple3) -> (rule8 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is not big.
False
2
inv-proof
[(((triple1) -> rule4) OR ((triple3) -> rule5) OR ((triple3) -> rule8) OR ((((triple2) -> rule7)) -> rule5) OR ((((triple2) -> rule7)) -> rule8))]
("cow" "is" "big" "-")
((triple1) -> (rule4 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
((triple3) -> (rule5 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
((triple3) -> (rule8 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is rough.
True
4
proof
[(((((triple1) -> rule4) triple2) -> rule6) OR ((((triple3) -> rule5) triple2) -> rule6) OR ((((triple3) -> rule8) triple2) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) triple2) -> rule6) OR ((((((triple2) -> rule7)) -> rule8) triple2) -> rule6) OR ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((triple1) -> rule4) ((((triple3) -> rule5)) -> rule2)) -> rule6) OR ((((triple1) -> rule4) ((((triple3) -> rule8)) -> rule2)) -> rule6) OR ((((triple1) -> rule4) ((((triple1) -> rule4) triple3) -> rule1)) -> rule6) OR ((((triple1) -> rule4) ((((triple3) -> rule5) triple3) -> rule1)) -> rule6) OR ((((triple1) -> rule4) ((((triple3) -> rule8) triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule5) ((((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule2)) -> rule6) OR ((((triple3) -> rule5) ((((triple3) -> rule8)) -> rule2)) -> rule6) OR ((((triple3) -> rule5) ((((triple1) -> rule4) triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule5) ((((triple3) -> rule5) triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule5) ((((triple3) -> rule8) triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule8) ((((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((triple3) -> rule8) ((((triple3) -> rule5)) -> rule2)) -> rule6) OR ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule2)) -> rule6) OR ((((triple3) -> rule8) ((((triple1) -> rule4) triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule8) ((((triple3) -> rule5) triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule8) ((((triple3) -> rule8) triple3) -> rule1)) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) ((((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) ((((triple3) -> rule5)) -> rule2)) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) ((((triple3) -> rule8)) -> rule2)) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) ((((triple1) -> rule4) triple3) -> rule1)) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) ((((triple3) -> rule5) triple3) -> rule1)) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) ((((triple3) -> rule8) triple3) -> rule1)) -> rule6) OR ((((((triple2) -> rule7)) -> rule8) ((((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((((triple2) -> rule7)) -> rule8) ((((triple3) -> rule5)) -> rule2)) -> rule6) OR ((((((triple2) -> rule7)) -> rule8) ((((triple3) -> rule8)) -> rule2)) -> rule6) OR ((((((triple2) -> rule7)) -> rule8) ((((triple1) -> rule4) triple3) -> rule1)) -> rule6) OR ((((((triple2) -> rule7)) -> rule8) ((((triple3) -> rule5) triple3) -> rule1)) -> rule6) OR ((((((triple2) -> rule7)) -> rule8) ((((triple3) -> rule8) triple3) -> rule1)) -> rule6))]
("cow" "is" "rough" "+")
((((triple1) -> (rule4 % int2)) triple2) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple3) -> (rule5 % int2)) triple2) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple3) -> (rule8 % int2)) triple2) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2)) triple2) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule8 % int2)) triple2) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple3) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple3) -> (rule8 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple1) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple3) -> (rule8 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule8 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule8 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule8 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule8 % int3)) ((((triple1) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule8 % int3)) ((((triple3) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule8 % int3)) ((((triple3) -> (rule8 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple1) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule8 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple1) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule8 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
The cow is not rough.
False
4
inv-proof
[(((((triple1) -> rule4) triple2) -> rule6) OR ((((triple3) -> rule5) triple2) -> rule6) OR ((((triple3) -> rule8) triple2) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) triple2) -> rule6) OR ((((((triple2) -> rule7)) -> rule8) triple2) -> rule6) OR ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((triple1) -> rule4) ((((triple3) -> rule5)) -> rule2)) -> rule6) OR ((((triple1) -> rule4) ((((triple3) -> rule8)) -> rule2)) -> rule6) OR ((((triple1) -> rule4) ((((triple1) -> rule4) triple3) -> rule1)) -> rule6) OR ((((triple1) -> rule4) ((((triple3) -> rule5) triple3) -> rule1)) -> rule6) OR ((((triple1) -> rule4) ((((triple3) -> rule8) triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule5) ((((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule2)) -> rule6) OR ((((triple3) -> rule5) ((((triple3) -> rule8)) -> rule2)) -> rule6) OR ((((triple3) -> rule5) ((((triple1) -> rule4) triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule5) ((((triple3) -> rule5) triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule5) ((((triple3) -> rule8) triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule8) ((((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((triple3) -> rule8) ((((triple3) -> rule5)) -> rule2)) -> rule6) OR ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule2)) -> rule6) OR ((((triple3) -> rule8) ((((triple1) -> rule4) triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule8) ((((triple3) -> rule5) triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule8) ((((triple3) -> rule8) triple3) -> rule1)) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) ((((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) ((((triple3) -> rule5)) -> rule2)) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) ((((triple3) -> rule8)) -> rule2)) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) ((((triple1) -> rule4) triple3) -> rule1)) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) ((((triple3) -> rule5) triple3) -> rule1)) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) ((((triple3) -> rule8) triple3) -> rule1)) -> rule6) OR ((((((triple2) -> rule7)) -> rule8) ((((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((((triple2) -> rule7)) -> rule8) ((((triple3) -> rule5)) -> rule2)) -> rule6) OR ((((((triple2) -> rule7)) -> rule8) ((((triple3) -> rule8)) -> rule2)) -> rule6) OR ((((((triple2) -> rule7)) -> rule8) ((((triple1) -> rule4) triple3) -> rule1)) -> rule6) OR ((((((triple2) -> rule7)) -> rule8) ((((triple3) -> rule5) triple3) -> rule1)) -> rule6) OR ((((((triple2) -> rule7)) -> rule8) ((((triple3) -> rule8) triple3) -> rule1)) -> rule6))]
("cow" "is" "rough" "-")
((((triple1) -> (rule4 % int2)) triple2) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple3) -> (rule5 % int2)) triple2) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple3) -> (rule8 % int2)) triple2) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2)) triple2) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule8 % int2)) triple2) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple3) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple3) -> (rule8 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple1) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple3) -> (rule8 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule8 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule8 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule8 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule8 % int3)) ((((triple1) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule8 % int3)) ((((triple3) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule8 % int3)) ((((triple3) -> (rule8 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple1) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule8 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple1) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule8 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The cow is green.[(triple1)] The cow is red.[(triple2 OR ((((triple1) -> rule4)) -> rule2) OR ((((triple3) -> rule5)) -> rule2) OR ((((triple3) -> rule8)) -> rule2) OR ((((triple1) -> rule4) triple3) -> rule1) OR ((((triple3) -> rule5) triple3) -> rule1) OR ((((triple3) -> rule8) triple3) -> rule1))] The cow is young.[(triple3 OR ((triple2) -> rule7) OR ((((((triple1) -> rule4)) -> rule2)) -> rule7))] @1: The cow is big.[(((triple1) -> rule4) OR ((triple3) -> rule5) OR ((triple3) -> rule8) OR ((((triple2) -> rule7)) -> rule5) OR ((((triple2) -> rule7)) -> rule8))] @2: The cow is rough.[(((((triple1) -> rule4) triple2) -> rule6) OR ((((triple3) -> rule5) triple2) -> rule6) OR ((((triple3) -> rule8) triple2) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) triple2) -> rule6) OR ((((((triple2) -> rule7)) -> rule8) triple2) -> rule6) OR ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((triple1) -> rule4) ((((triple3) -> rule5)) -> rule2)) -> rule6) OR ((((triple1) -> rule4) ((((triple3) -> rule8)) -> rule2)) -> rule6) OR ((((triple1) -> rule4) ((((triple1) -> rule4) triple3) -> rule1)) -> rule6) OR ((((triple1) -> rule4) ((((triple3) -> rule5) triple3) -> rule1)) -> rule6) OR ((((triple1) -> rule4) ((((triple3) -> rule8) triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule5) ((((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule2)) -> rule6) OR ((((triple3) -> rule5) ((((triple3) -> rule8)) -> rule2)) -> rule6) OR ((((triple3) -> rule5) ((((triple1) -> rule4) triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule5) ((((triple3) -> rule5) triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule5) ((((triple3) -> rule8) triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule8) ((((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((triple3) -> rule8) ((((triple3) -> rule5)) -> rule2)) -> rule6) OR ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule2)) -> rule6) OR ((((triple3) -> rule8) ((((triple1) -> rule4) triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule8) ((((triple3) -> rule5) triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule8) ((((triple3) -> rule8) triple3) -> rule1)) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) ((((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) ((((triple3) -> rule5)) -> rule2)) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) ((((triple3) -> rule8)) -> rule2)) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) ((((triple1) -> rule4) triple3) -> rule1)) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) ((((triple3) -> rule5) triple3) -> rule1)) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) ((((triple3) -> rule8) triple3) -> rule1)) -> rule6) OR ((((((triple2) -> rule7)) -> rule8) ((((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((((triple2) -> rule7)) -> rule8) ((((triple3) -> rule5)) -> rule2)) -> rule6) OR ((((((triple2) -> rule7)) -> rule8) ((((triple3) -> rule8)) -> rule2)) -> rule6) OR ((((((triple2) -> rule7)) -> rule8) ((((triple1) -> rule4) triple3) -> rule1)) -> rule6) OR ((((((triple2) -> rule7)) -> rule8) ((((triple3) -> rule5) triple3) -> rule1)) -> rule6) OR ((((((triple2) -> rule7)) -> rule8) ((((triple3) -> rule8) triple3) -> rule1)) -> rule6))]
The cow is green.
("cow" "is" "green" "+")
triple1
The cow is red.
("cow" "is" "red" "+")
triple2
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple3) -> (rule5 % int2))) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple3) -> (rule8 % int2))) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple1) -> (rule4 % int2)) triple3) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple3) -> (rule5 % int2)) triple3) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple3) -> (rule8 % int2)) triple3) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is young.
("cow" "is" "young" "+")
triple3
((triple2) -> (rule7 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
((((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is big.
("cow" "is" "big" "+")
((triple1) -> (rule4 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
((triple3) -> (rule5 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
((triple3) -> (rule8 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
((((triple1) -> (rule4 % int2)) triple2) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple3) -> (rule5 % int2)) triple2) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple3) -> (rule8 % int2)) triple2) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2)) triple2) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule8 % int2)) triple2) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple3) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple3) -> (rule8 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple1) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple3) -> (rule8 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule8 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule8 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule8 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule8 % int3)) ((((triple1) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule8 % int3)) ((((triple3) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple3) -> (rule8 % int3)) ((((triple3) -> (rule8 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple1) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule8 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple1) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule8 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4