The cow is kind. The cow is rough. The cow is young. Red things are rough. Rough things are young. If the cow is kind and the cow is red then the cow is rough. Young, kind things are cold. Cold, kind things are red. If something is kind and young then it is rough. If something is young then it is kind. All young things are cold.
The cow is kind.
("cow" "is" "kind" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is young.
("cow" "is" "young" "+")
Red things are rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
Rough things are young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
If the cow is kind and the cow is red then the cow is rough.
((("cow" "is" "kind" "+") ("cow" "is" "red" "+")) -> ("cow" "is" "rough" "+"))
Young, kind things are cold.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
Cold, kind things are red.
((("something" "is" "cold" "+") ("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If something is kind and young then it is rough.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
If something is young then it is kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
All young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
The cow is young.
True
1
proof
[(triple3 OR ((triple2) -> rule2))]
("cow" "is" "young" "+")
triple3
((triple2) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is not rough.
False
1
inv-proof
[(triple2 OR ((triple1 triple3) -> rule6) OR ((((triple3) -> rule7) triple3) -> rule6) OR ((((((triple3) -> rule8) triple1) -> rule5)) -> rule1) OR ((((((triple3 triple1) -> rule4) triple1) -> rule5)) -> rule1) OR ((triple1 ((((triple3) -> rule8) triple1) -> rule5)) -> rule3) OR ((triple1 ((((triple3 triple1) -> rule4) triple1) -> rule5)) -> rule3) OR ((((((triple3) -> rule8) ((triple3) -> rule7)) -> rule5)) -> rule1) OR ((((((triple3 triple1) -> rule4) ((triple3) -> rule7)) -> rule5)) -> rule1) OR ((triple1 ((((triple3) -> rule8) ((triple3) -> rule7)) -> rule5)) -> rule3) OR ((triple1 ((((triple3 triple1) -> rule4) ((triple3) -> rule7)) -> rule5)) -> rule3) OR ((((triple3) -> rule7) ((((triple3) -> rule8) triple1) -> rule5)) -> rule3) OR ((((triple3) -> rule7) ((((triple3 triple1) -> rule4) triple1) -> rule5)) -> rule3) OR ((((triple3) -> rule7) ((((triple3) -> rule8) ((triple3) -> rule7)) -> rule5)) -> rule3) OR ((((triple3) -> rule7) ((((triple3 triple1) -> rule4) ((triple3) -> rule7)) -> rule5)) -> rule3) OR ((((((triple3 ((triple3) -> rule7)) -> rule4) triple1) -> rule5)) -> rule1) OR ((triple1 ((((triple3 ((triple3) -> rule7)) -> rule4) triple1) -> rule5)) -> rule3) OR ((((((triple3 ((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule5)) -> rule1) OR ((triple1 ((((triple3 ((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule5)) -> rule3) OR ((((triple3) -> rule7) ((((triple3 ((triple3) -> rule7)) -> rule4) triple1) -> rule5)) -> rule3) OR ((((triple3) -> rule7) ((((triple3 ((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule5)) -> rule3))]
("cow" "is" "rough" "-")
triple2
((triple1 triple3) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((((triple3) -> (rule7 % int2)) triple3) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
((((((triple3) -> (rule8 % int3)) triple1) -> (rule5 % int2))) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((((((triple3 triple1) -> (rule4 % int3)) triple1) -> (rule5 % int2))) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((triple1 ((((triple3) -> (rule8 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((triple1 ((((triple3 triple1) -> (rule4 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((((((triple3) -> (rule8 % int4)) ((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((((((triple3 triple1) -> (rule4 % int4)) ((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((triple1 ((((triple3) -> (rule8 % int4)) ((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((triple1 ((((triple3 triple1) -> (rule4 % int4)) ((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((((triple3) -> (rule7 % int4)) ((((triple3) -> (rule8 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((triple3) -> (rule7 % int4)) ((((triple3 triple1) -> (rule4 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((triple3) -> (rule7 % int4)) ((((triple3) -> (rule8 % int3)) ((triple3) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((triple3) -> (rule7 % int4)) ((((triple3 triple1) -> (rule4 % int3)) ((triple3) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((((triple3 ((triple3) -> (rule7 % int4))) -> (rule4 % int3)) triple1) -> (rule5 % int2))) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((triple1 ((((triple3 ((triple3) -> (rule7 % int4))) -> (rule4 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((((triple3 ((triple3) -> (rule7 % int4))) -> (rule4 % int3)) ((triple3) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((triple1 ((((triple3 ((triple3) -> (rule7 % int4))) -> (rule4 % int3)) ((triple3) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((triple3) -> (rule7 % int4)) ((((triple3 ((triple3) -> (rule7 % int4))) -> (rule4 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((triple3) -> (rule7 % int4)) ((((triple3 ((triple3) -> (rule7 % int4))) -> (rule4 % int3)) ((triple3) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
The cow is cold.
True
2
proof
[(((triple3) -> rule8) OR ((triple3 triple1) -> rule4) OR ((((triple2) -> rule2)) -> rule8) OR ((triple3 ((triple3) -> rule7)) -> rule4) OR ((((triple2) -> rule2) triple1) -> rule4) OR ((((triple2) -> rule2) ((triple3) -> rule7)) -> rule4) OR ((triple3 ((((triple2) -> rule2)) -> rule7)) -> rule4) OR ((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule7)) -> rule4))]
("cow" "is" "cold" "+")
((triple3) -> (rule8 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
((triple3 triple1) -> (rule4 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule8 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
((triple3 ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
((((triple2) -> (rule2 % int2)) triple1) -> (rule4 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
((((triple2) -> (rule2 % int3)) ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
((triple3 ((((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
((((triple2) -> (rule2 % int3)) ((((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The cow is not cold.
False
2
inv-proof
[(((triple3) -> rule8) OR ((triple3 triple1) -> rule4) OR ((((triple2) -> rule2)) -> rule8) OR ((triple3 ((triple3) -> rule7)) -> rule4) OR ((((triple2) -> rule2) triple1) -> rule4) OR ((((triple2) -> rule2) ((triple3) -> rule7)) -> rule4) OR ((triple3 ((((triple2) -> rule2)) -> rule7)) -> rule4) OR ((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule7)) -> rule4))]
("cow" "is" "cold" "-")
((triple3) -> (rule8 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
((triple3 triple1) -> (rule4 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule8 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
((triple3 ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
((((triple2) -> (rule2 % int2)) triple1) -> (rule4 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
((((triple2) -> (rule2 % int3)) ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
((triple3 ((((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
((((triple2) -> (rule2 % int3)) ((((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The cow is red.
True
4
proof
[(((((triple3) -> rule8) triple1) -> rule5) OR ((((triple3 triple1) -> rule4) triple1) -> rule5) OR ((((triple3) -> rule8) ((triple3) -> rule7)) -> rule5) OR ((((triple3 triple1) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((((triple2) -> rule2)) -> rule8) triple1) -> rule5) OR ((((triple3 ((triple3) -> rule7)) -> rule4) triple1) -> rule5) OR ((((((triple2) -> rule2) triple1) -> rule4) triple1) -> rule5) OR ((((triple3) -> rule8) ((((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((((triple2) -> rule2)) -> rule8) ((triple3) -> rule7)) -> rule5) OR ((((triple3 triple1) -> rule4) ((((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((triple3 ((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) triple1) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) ((triple3) -> rule7)) -> rule4) triple1) -> rule5) OR ((((((triple2) -> rule2)) -> rule8) ((((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((triple3 ((triple3) -> rule7)) -> rule4) ((((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) triple1) -> rule4) ((((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) ((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) ((triple3) -> rule7)) -> rule4) ((((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((triple3 ((((triple2) -> rule2)) -> rule7)) -> rule4) triple1) -> rule5) OR ((((triple3 ((((triple2) -> rule2)) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule7)) -> rule4) triple1) -> rule5) OR ((((triple3 ((((triple2) -> rule2)) -> rule7)) -> rule4) ((((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule7)) -> rule4) ((((triple2) -> rule2)) -> rule7)) -> rule5))]
("cow" "is" "red" "+")
((((triple3) -> (rule8 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
((((triple3 triple1) -> (rule4 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
((((triple3) -> (rule8 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((((triple3 triple1) -> (rule4 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule8 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
((((triple3 ((triple3) -> (rule7 % int3))) -> (rule4 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
((((((triple2) -> (rule2 % int3)) triple1) -> (rule4 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
((((triple3) -> (rule8 % int4)) ((((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((((((triple2) -> (rule2 % int4))) -> (rule8 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((triple3 triple1) -> (rule4 % int4)) ((((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((((triple3 ((triple3) -> (rule7 % int3))) -> (rule4 % int2)) ((triple3) -> (rule7 % int3))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
((((((triple2) -> (rule2 % int4)) triple1) -> (rule4 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) ((triple3) -> (rule7 % int3))) -> (rule4 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4))) -> (rule8 % int3)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((triple3 ((triple3) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((((triple2) -> (rule2 % int4)) triple1) -> (rule4 % int3)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) ((triple3) -> (rule7 % int3))) -> (rule4 % int2)) ((triple3) -> (rule7 % int3))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) ((triple3) -> (rule7 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((triple3 ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((triple3 ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((triple3) -> (rule7 % int3))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((triple3 ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((triple3) -> (rule7 % int3))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
The cow is not red.
False
4
inv-proof
[(((((triple3) -> rule8) triple1) -> rule5) OR ((((triple3 triple1) -> rule4) triple1) -> rule5) OR ((((triple3) -> rule8) ((triple3) -> rule7)) -> rule5) OR ((((triple3 triple1) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((((triple2) -> rule2)) -> rule8) triple1) -> rule5) OR ((((triple3 ((triple3) -> rule7)) -> rule4) triple1) -> rule5) OR ((((((triple2) -> rule2) triple1) -> rule4) triple1) -> rule5) OR ((((triple3) -> rule8) ((((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((((triple2) -> rule2)) -> rule8) ((triple3) -> rule7)) -> rule5) OR ((((triple3 triple1) -> rule4) ((((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((triple3 ((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) triple1) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) ((triple3) -> rule7)) -> rule4) triple1) -> rule5) OR ((((((triple2) -> rule2)) -> rule8) ((((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((triple3 ((triple3) -> rule7)) -> rule4) ((((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) triple1) -> rule4) ((((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) ((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) ((triple3) -> rule7)) -> rule4) ((((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((triple3 ((((triple2) -> rule2)) -> rule7)) -> rule4) triple1) -> rule5) OR ((((triple3 ((((triple2) -> rule2)) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule7)) -> rule4) triple1) -> rule5) OR ((((triple3 ((((triple2) -> rule2)) -> rule7)) -> rule4) ((((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule7)) -> rule4) ((((triple2) -> rule2)) -> rule7)) -> rule5))]
("cow" "is" "red" "-")
((((triple3) -> (rule8 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
((((triple3 triple1) -> (rule4 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
((((triple3) -> (rule8 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((((triple3 triple1) -> (rule4 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule8 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
((((triple3 ((triple3) -> (rule7 % int3))) -> (rule4 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
((((((triple2) -> (rule2 % int3)) triple1) -> (rule4 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
((((triple3) -> (rule8 % int4)) ((((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((((((triple2) -> (rule2 % int4))) -> (rule8 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((triple3 triple1) -> (rule4 % int4)) ((((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((((triple3 ((triple3) -> (rule7 % int3))) -> (rule4 % int2)) ((triple3) -> (rule7 % int3))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
((((((triple2) -> (rule2 % int4)) triple1) -> (rule4 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) ((triple3) -> (rule7 % int3))) -> (rule4 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4))) -> (rule8 % int3)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((triple3 ((triple3) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((((triple2) -> (rule2 % int4)) triple1) -> (rule4 % int3)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) ((triple3) -> (rule7 % int3))) -> (rule4 % int2)) ((triple3) -> (rule7 % int3))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) ((triple3) -> (rule7 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((triple3 ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((triple3 ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((triple3) -> (rule7 % int3))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((triple3 ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((triple3) -> (rule7 % int3))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
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 kind.[(triple1 OR ((triple3) -> rule7) OR ((((triple2) -> rule2)) -> rule7))] The cow is rough.[(triple2 OR ((triple1 triple3) -> rule6) OR ((((triple3) -> rule7) triple3) -> rule6) OR ((((((triple3) -> rule8) triple1) -> rule5)) -> rule1) OR ((((((triple3 triple1) -> rule4) triple1) -> rule5)) -> rule1) OR ((triple1 ((((triple3) -> rule8) triple1) -> rule5)) -> rule3) OR ((triple1 ((((triple3 triple1) -> rule4) triple1) -> rule5)) -> rule3) OR ((((((triple3) -> rule8) ((triple3) -> rule7)) -> rule5)) -> rule1) OR ((((((triple3 triple1) -> rule4) ((triple3) -> rule7)) -> rule5)) -> rule1) OR ((triple1 ((((triple3) -> rule8) ((triple3) -> rule7)) -> rule5)) -> rule3) OR ((triple1 ((((triple3 triple1) -> rule4) ((triple3) -> rule7)) -> rule5)) -> rule3) OR ((((triple3) -> rule7) ((((triple3) -> rule8) triple1) -> rule5)) -> rule3) OR ((((triple3) -> rule7) ((((triple3 triple1) -> rule4) triple1) -> rule5)) -> rule3) OR ((((triple3) -> rule7) ((((triple3) -> rule8) ((triple3) -> rule7)) -> rule5)) -> rule3) OR ((((triple3) -> rule7) ((((triple3 triple1) -> rule4) ((triple3) -> rule7)) -> rule5)) -> rule3) OR ((((((triple3 ((triple3) -> rule7)) -> rule4) triple1) -> rule5)) -> rule1) OR ((triple1 ((((triple3 ((triple3) -> rule7)) -> rule4) triple1) -> rule5)) -> rule3) OR ((((((triple3 ((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule5)) -> rule1) OR ((triple1 ((((triple3 ((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule5)) -> rule3) OR ((((triple3) -> rule7) ((((triple3 ((triple3) -> rule7)) -> rule4) triple1) -> rule5)) -> rule3) OR ((((triple3) -> rule7) ((((triple3 ((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule5)) -> rule3))] The cow is young.[(triple3 OR ((triple2) -> rule2))] @1: The cow is cold.[(((triple3) -> rule8) OR ((triple3 triple1) -> rule4) OR ((((triple2) -> rule2)) -> rule8) OR ((triple3 ((triple3) -> rule7)) -> rule4) OR ((((triple2) -> rule2) triple1) -> rule4) OR ((((triple2) -> rule2) ((triple3) -> rule7)) -> rule4) OR ((triple3 ((((triple2) -> rule2)) -> rule7)) -> rule4) OR ((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule7)) -> rule4))] @2: The cow is red.[(((((triple3) -> rule8) triple1) -> rule5) OR ((((triple3 triple1) -> rule4) triple1) -> rule5) OR ((((triple3) -> rule8) ((triple3) -> rule7)) -> rule5) OR ((((triple3 triple1) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((((triple2) -> rule2)) -> rule8) triple1) -> rule5) OR ((((triple3 ((triple3) -> rule7)) -> rule4) triple1) -> rule5) OR ((((((triple2) -> rule2) triple1) -> rule4) triple1) -> rule5) OR ((((triple3) -> rule8) ((((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((((triple2) -> rule2)) -> rule8) ((triple3) -> rule7)) -> rule5) OR ((((triple3 triple1) -> rule4) ((((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((triple3 ((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) triple1) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) ((triple3) -> rule7)) -> rule4) triple1) -> rule5) OR ((((((triple2) -> rule2)) -> rule8) ((((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((triple3 ((triple3) -> rule7)) -> rule4) ((((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) triple1) -> rule4) ((((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) ((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) ((triple3) -> rule7)) -> rule4) ((((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((triple3 ((((triple2) -> rule2)) -> rule7)) -> rule4) triple1) -> rule5) OR ((((triple3 ((((triple2) -> rule2)) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule7)) -> rule4) triple1) -> rule5) OR ((((triple3 ((((triple2) -> rule2)) -> rule7)) -> rule4) ((((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule7)) -> rule4) ((((triple2) -> rule2)) -> rule7)) -> rule5))]
The cow is kind.
("cow" "is" "kind" "+")
triple1
((triple3) -> (rule7 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule7 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
triple2
((triple1 triple3) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((((triple3) -> (rule7 % int2)) triple3) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
((((((triple3) -> (rule8 % int3)) triple1) -> (rule5 % int2))) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((((((triple3 triple1) -> (rule4 % int3)) triple1) -> (rule5 % int2))) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((triple1 ((((triple3) -> (rule8 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((triple1 ((((triple3 triple1) -> (rule4 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((((((triple3) -> (rule8 % int4)) ((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((((((triple3 triple1) -> (rule4 % int4)) ((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((triple1 ((((triple3) -> (rule8 % int4)) ((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((triple1 ((((triple3 triple1) -> (rule4 % int4)) ((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((((triple3) -> (rule7 % int4)) ((((triple3) -> (rule8 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((triple3) -> (rule7 % int4)) ((((triple3 triple1) -> (rule4 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((triple3) -> (rule7 % int4)) ((((triple3) -> (rule8 % int3)) ((triple3) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((triple3) -> (rule7 % int4)) ((((triple3 triple1) -> (rule4 % int3)) ((triple3) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((((triple3 ((triple3) -> (rule7 % int4))) -> (rule4 % int3)) triple1) -> (rule5 % int2))) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((triple1 ((((triple3 ((triple3) -> (rule7 % int4))) -> (rule4 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((((triple3 ((triple3) -> (rule7 % int4))) -> (rule4 % int3)) ((triple3) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((triple1 ((((triple3 ((triple3) -> (rule7 % int4))) -> (rule4 % int3)) ((triple3) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((triple3) -> (rule7 % int4)) ((((triple3 ((triple3) -> (rule7 % int4))) -> (rule4 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((triple3) -> (rule7 % int4)) ((((triple3 ((triple3) -> (rule7 % int4))) -> (rule4 % int3)) ((triple3) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
The cow is young.
("cow" "is" "young" "+")
triple3
((triple2) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
((triple3) -> (rule8 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
((triple3 triple1) -> (rule4 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule8 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
((triple3 ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
((((triple2) -> (rule2 % int2)) triple1) -> (rule4 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
((((triple2) -> (rule2 % int3)) ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
((triple3 ((((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
((((triple2) -> (rule2 % int3)) ((((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The cow is red.
("cow" "is" "red" "+")
((((triple3) -> (rule8 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
((((triple3 triple1) -> (rule4 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
((((triple3) -> (rule8 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((((triple3 triple1) -> (rule4 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule8 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
((((triple3 ((triple3) -> (rule7 % int3))) -> (rule4 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
((((((triple2) -> (rule2 % int3)) triple1) -> (rule4 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
((((triple3) -> (rule8 % int4)) ((((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((((((triple2) -> (rule2 % int4))) -> (rule8 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((triple3 triple1) -> (rule4 % int4)) ((((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
((((triple3 ((triple3) -> (rule7 % int3))) -> (rule4 % int2)) ((triple3) -> (rule7 % int3))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
((((((triple2) -> (rule2 % int4)) triple1) -> (rule4 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) ((triple3) -> (rule7 % int3))) -> (rule4 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4))) -> (rule8 % int3)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((triple3 ((triple3) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((((triple2) -> (rule2 % int4)) triple1) -> (rule4 % int3)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) ((triple3) -> (rule7 % int3))) -> (rule4 % int2)) ((triple3) -> (rule7 % int3))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) ((triple3) -> (rule7 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((triple3 ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((triple3 ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((triple3) -> (rule7 % int3))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) triple1) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((triple3 ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((triple3) -> (rule7 % int3))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4