The mouse is cold. The mouse is red. The mouse is rough. Rough, cold people are kind. If someone is kind and rough then they are blue. If the mouse is rough and the mouse is blue then the mouse is kind. All rough people are red. Red people are rough. If someone is rough and red then they are cold.
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
Rough, cold people are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and rough then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If the mouse is rough and the mouse is blue then the mouse is kind.
((("mouse" "is" "rough" "+") ("mouse" "is" "blue" "+")) -> ("mouse" "is" "kind" "+"))
All rough people are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
The mouse is cold.
True
1
proof
[(triple1 OR ((triple3 triple2) -> rule6) OR ((triple3 ((triple3) -> rule4)) -> rule6) OR ((((triple2) -> rule5) triple2) -> rule6) OR ((((triple2) -> rule5) ((triple3) -> rule4)) -> rule6))]
("mouse" "is" "cold" "+")
triple1
((triple3 triple2) -> (rule6 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
((triple3 ((triple3) -> (rule4 % int2))) -> (rule6 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
((((triple2) -> (rule5 % int2)) triple2) -> (rule6 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
((((triple2) -> (rule5 % int3)) ((triple3) -> (rule4 % int2))) -> (rule6 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The mouse is not rough.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule5))]
("mouse" "is" "rough" "-")
triple3
((triple2) -> (rule5 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is kind.
True
3
proof
[(((triple3 triple1) -> rule1) OR ((triple3 ((triple3 triple2) -> rule6)) -> rule1) OR ((((triple2) -> rule5) triple1) -> rule1) OR ((((triple2) -> rule5) ((triple3 triple2) -> rule6)) -> rule1) OR ((triple3 ((triple3 ((triple3) -> rule4)) -> rule6)) -> rule1) OR ((triple3 ((((triple2) -> rule5) triple2) -> rule6)) -> rule1) OR ((triple3 ((((triple2) -> rule5) ((triple3) -> rule4)) -> rule6)) -> rule1) OR ((((triple2) -> rule5) ((triple3 ((triple3) -> rule4)) -> rule6)) -> rule1) OR ((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule6)) -> rule1) OR ((((triple2) -> rule5) ((((triple2) -> rule5) ((triple3) -> rule4)) -> rule6)) -> rule1))]
("mouse" "is" "kind" "+")
((triple3 triple1) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
((triple3 ((triple3 triple2) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
((((triple2) -> (rule5 % int2)) triple1) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
((((triple2) -> (rule5 % int3)) ((triple3 triple2) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((triple3 ((triple3 ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
((triple3 ((((triple2) -> (rule5 % int3)) triple2) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((triple3 ((((triple2) -> (rule5 % int4)) ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((triple2) -> (rule5 % int4)) ((triple3 ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((triple2) -> (rule5 % int3)) ((((triple2) -> (rule5 % int3)) triple2) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4)) ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
The mouse is not kind.
False
3
inv-proof
[(((triple3 triple1) -> rule1) OR ((triple3 ((triple3 triple2) -> rule6)) -> rule1) OR ((((triple2) -> rule5) triple1) -> rule1) OR ((((triple2) -> rule5) ((triple3 triple2) -> rule6)) -> rule1) OR ((triple3 ((triple3 ((triple3) -> rule4)) -> rule6)) -> rule1) OR ((triple3 ((((triple2) -> rule5) triple2) -> rule6)) -> rule1) OR ((triple3 ((((triple2) -> rule5) ((triple3) -> rule4)) -> rule6)) -> rule1) OR ((((triple2) -> rule5) ((triple3 ((triple3) -> rule4)) -> rule6)) -> rule1) OR ((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule6)) -> rule1) OR ((((triple2) -> rule5) ((((triple2) -> rule5) ((triple3) -> rule4)) -> rule6)) -> rule1))]
("mouse" "is" "kind" "-")
((triple3 triple1) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
((triple3 ((triple3 triple2) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
((((triple2) -> (rule5 % int2)) triple1) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
((((triple2) -> (rule5 % int3)) ((triple3 triple2) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((triple3 ((triple3 ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
((triple3 ((((triple2) -> (rule5 % int3)) triple2) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((triple3 ((((triple2) -> (rule5 % int4)) ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((triple2) -> (rule5 % int4)) ((triple3 ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((triple2) -> (rule5 % int3)) ((((triple2) -> (rule5 % int3)) triple2) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4)) ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
The mouse is blue.
True
5
proof
[(((((triple3 triple1) -> rule1) triple3) -> rule2) OR ((((triple3 triple1) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((triple3 ((triple3 triple2) -> rule6)) -> rule1) triple3) -> rule2) OR ((((((triple2) -> rule5) triple1) -> rule1) triple3) -> rule2) OR ((((triple3 ((triple3 triple2) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) triple1) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) ((triple3 triple2) -> rule6)) -> rule1) triple3) -> rule2) OR ((((((triple2) -> rule5) ((triple3 triple2) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((triple3 ((triple3 ((triple3) -> rule4)) -> rule6)) -> rule1) triple3) -> rule2) OR ((((triple3 ((((triple2) -> rule5) triple2) -> rule6)) -> rule1) triple3) -> rule2) OR ((((triple3 ((triple3 ((triple3) -> rule4)) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((triple3 ((((triple2) -> rule5) triple2) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((triple3 ((((triple2) -> rule5) ((triple3) -> rule4)) -> rule6)) -> rule1) triple3) -> rule2) OR ((((((triple2) -> rule5) ((triple3 ((triple3) -> rule4)) -> rule6)) -> rule1) triple3) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule6)) -> rule1) triple3) -> rule2) OR ((((triple3 ((((triple2) -> rule5) ((triple3) -> rule4)) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) ((triple3 ((triple3) -> rule4)) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5) ((triple3) -> rule4)) -> rule6)) -> rule1) triple3) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5) ((triple3) -> rule4)) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2))]
("mouse" "is" "blue" "+")
((((triple3 triple1) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
((((triple3 triple1) -> (rule1 % int3)) ((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
int3
((((triple3 ((triple3 triple2) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
((((((triple2) -> (rule5 % int3)) triple1) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((((triple3 ((triple3 triple2) -> (rule6 % int4))) -> (rule1 % int3)) ((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
((((((triple2) -> (rule5 % int3)) triple1) -> (rule1 % int2)) ((triple2) -> (rule5 % int3))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((((((triple2) -> (rule5 % int4)) ((triple3 triple2) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((((triple2) -> (rule5 % int4)) ((triple3 triple2) -> (rule6 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((triple3 ((triple3 ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
((((triple3 ((((triple2) -> (rule5 % int4)) triple2) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((triple3 ((triple3 ((triple3) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
((((triple3 ((((triple2) -> (rule5 % int4)) triple2) -> (rule6 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((triple3 ((((triple2) -> (rule5 % int5)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
((((((triple2) -> (rule5 % int5)) ((triple3 ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4)) triple2) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((triple3 ((((triple2) -> (rule5 % int5)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int5))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
((((((triple2) -> (rule5 % int5)) ((triple3 ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int5))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4)) triple2) -> (rule6 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((((triple2) -> (rule5 % int5)) ((((triple2) -> (rule5 % int5)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
((((((triple2) -> (rule5 % int5)) ((((triple2) -> (rule5 % int5)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int5))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
The mouse is not blue.
False
5
inv-proof
[(((((triple3 triple1) -> rule1) triple3) -> rule2) OR ((((triple3 triple1) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((triple3 ((triple3 triple2) -> rule6)) -> rule1) triple3) -> rule2) OR ((((((triple2) -> rule5) triple1) -> rule1) triple3) -> rule2) OR ((((triple3 ((triple3 triple2) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) triple1) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) ((triple3 triple2) -> rule6)) -> rule1) triple3) -> rule2) OR ((((((triple2) -> rule5) ((triple3 triple2) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((triple3 ((triple3 ((triple3) -> rule4)) -> rule6)) -> rule1) triple3) -> rule2) OR ((((triple3 ((((triple2) -> rule5) triple2) -> rule6)) -> rule1) triple3) -> rule2) OR ((((triple3 ((triple3 ((triple3) -> rule4)) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((triple3 ((((triple2) -> rule5) triple2) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((triple3 ((((triple2) -> rule5) ((triple3) -> rule4)) -> rule6)) -> rule1) triple3) -> rule2) OR ((((((triple2) -> rule5) ((triple3 ((triple3) -> rule4)) -> rule6)) -> rule1) triple3) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule6)) -> rule1) triple3) -> rule2) OR ((((triple3 ((((triple2) -> rule5) ((triple3) -> rule4)) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) ((triple3 ((triple3) -> rule4)) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5) ((triple3) -> rule4)) -> rule6)) -> rule1) triple3) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5) ((triple3) -> rule4)) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2))]
("mouse" "is" "blue" "-")
((((triple3 triple1) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
((((triple3 triple1) -> (rule1 % int3)) ((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
int3
((((triple3 ((triple3 triple2) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
((((((triple2) -> (rule5 % int3)) triple1) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((((triple3 ((triple3 triple2) -> (rule6 % int4))) -> (rule1 % int3)) ((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
((((((triple2) -> (rule5 % int3)) triple1) -> (rule1 % int2)) ((triple2) -> (rule5 % int3))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((((((triple2) -> (rule5 % int4)) ((triple3 triple2) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((((triple2) -> (rule5 % int4)) ((triple3 triple2) -> (rule6 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((triple3 ((triple3 ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
((((triple3 ((((triple2) -> (rule5 % int4)) triple2) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((triple3 ((triple3 ((triple3) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
((((triple3 ((((triple2) -> (rule5 % int4)) triple2) -> (rule6 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((triple3 ((((triple2) -> (rule5 % int5)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
((((((triple2) -> (rule5 % int5)) ((triple3 ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4)) triple2) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((triple3 ((((triple2) -> (rule5 % int5)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int5))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
((((((triple2) -> (rule5 % int5)) ((triple3 ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int5))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4)) triple2) -> (rule6 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((((triple2) -> (rule5 % int5)) ((((triple2) -> (rule5 % int5)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
((((((triple2) -> (rule5 % int5)) ((((triple2) -> (rule5 % int5)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int5))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
The mouse does not visit the mouse.
Unknown
inv-random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The mouse is cold.[(triple1 OR ((triple3 triple2) -> rule6) OR ((triple3 ((triple3) -> rule4)) -> rule6) OR ((((triple2) -> rule5) triple2) -> rule6) OR ((((triple2) -> rule5) ((triple3) -> rule4)) -> rule6))] The mouse is red.[(triple2 OR ((triple3) -> rule4))] The mouse is rough.[(triple3 OR ((triple2) -> rule5))] @1: The mouse is kind.[(((triple3 triple1) -> rule1) OR ((triple3 ((triple3 triple2) -> rule6)) -> rule1) OR ((((triple2) -> rule5) triple1) -> rule1) OR ((((triple2) -> rule5) ((triple3 triple2) -> rule6)) -> rule1) OR ((triple3 ((triple3 ((triple3) -> rule4)) -> rule6)) -> rule1) OR ((triple3 ((((triple2) -> rule5) triple2) -> rule6)) -> rule1) OR ((triple3 ((((triple2) -> rule5) ((triple3) -> rule4)) -> rule6)) -> rule1) OR ((((triple2) -> rule5) ((triple3 ((triple3) -> rule4)) -> rule6)) -> rule1) OR ((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule6)) -> rule1) OR ((((triple2) -> rule5) ((((triple2) -> rule5) ((triple3) -> rule4)) -> rule6)) -> rule1))] @2: The mouse is blue.[(((((triple3 triple1) -> rule1) triple3) -> rule2) OR ((((triple3 triple1) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((triple3 ((triple3 triple2) -> rule6)) -> rule1) triple3) -> rule2) OR ((((((triple2) -> rule5) triple1) -> rule1) triple3) -> rule2) OR ((((triple3 ((triple3 triple2) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) triple1) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) ((triple3 triple2) -> rule6)) -> rule1) triple3) -> rule2) OR ((((((triple2) -> rule5) ((triple3 triple2) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((triple3 ((triple3 ((triple3) -> rule4)) -> rule6)) -> rule1) triple3) -> rule2) OR ((((triple3 ((((triple2) -> rule5) triple2) -> rule6)) -> rule1) triple3) -> rule2) OR ((((triple3 ((triple3 ((triple3) -> rule4)) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((triple3 ((((triple2) -> rule5) triple2) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((triple3 ((((triple2) -> rule5) ((triple3) -> rule4)) -> rule6)) -> rule1) triple3) -> rule2) OR ((((((triple2) -> rule5) ((triple3 ((triple3) -> rule4)) -> rule6)) -> rule1) triple3) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule6)) -> rule1) triple3) -> rule2) OR ((((triple3 ((((triple2) -> rule5) ((triple3) -> rule4)) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) ((triple3 ((triple3) -> rule4)) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5) ((triple3) -> rule4)) -> rule6)) -> rule1) triple3) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5) ((triple3) -> rule4)) -> rule6)) -> rule1) ((triple2) -> rule5)) -> rule2))]
The mouse is cold.
("mouse" "is" "cold" "+")
triple1
((triple3 triple2) -> (rule6 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
((triple3 ((triple3) -> (rule4 % int2))) -> (rule6 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
((((triple2) -> (rule5 % int2)) triple2) -> (rule6 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
((((triple2) -> (rule5 % int3)) ((triple3) -> (rule4 % int2))) -> (rule6 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
triple2
((triple3) -> (rule4 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
triple3
((triple2) -> (rule5 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
((triple3 triple1) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
((triple3 ((triple3 triple2) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
((((triple2) -> (rule5 % int2)) triple1) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
((((triple2) -> (rule5 % int3)) ((triple3 triple2) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((triple3 ((triple3 ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
((triple3 ((((triple2) -> (rule5 % int3)) triple2) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((triple3 ((((triple2) -> (rule5 % int4)) ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((triple2) -> (rule5 % int4)) ((triple3 ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((triple2) -> (rule5 % int3)) ((((triple2) -> (rule5 % int3)) triple2) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4)) ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
The mouse is blue.
("mouse" "is" "blue" "+")
((((triple3 triple1) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
((((triple3 triple1) -> (rule1 % int3)) ((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
int3
((((triple3 ((triple3 triple2) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
((((((triple2) -> (rule5 % int3)) triple1) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((((triple3 ((triple3 triple2) -> (rule6 % int4))) -> (rule1 % int3)) ((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
((((((triple2) -> (rule5 % int3)) triple1) -> (rule1 % int2)) ((triple2) -> (rule5 % int3))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((((((triple2) -> (rule5 % int4)) ((triple3 triple2) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((((triple2) -> (rule5 % int4)) ((triple3 triple2) -> (rule6 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((triple3 ((triple3 ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
((((triple3 ((((triple2) -> (rule5 % int4)) triple2) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((triple3 ((triple3 ((triple3) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
((((triple3 ((((triple2) -> (rule5 % int4)) triple2) -> (rule6 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((triple3 ((((triple2) -> (rule5 % int5)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
((((((triple2) -> (rule5 % int5)) ((triple3 ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4)) triple2) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((triple3 ((((triple2) -> (rule5 % int5)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int5))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
((((((triple2) -> (rule5 % int5)) ((triple3 ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int5))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4)) triple2) -> (rule6 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((((triple2) -> (rule5 % int5)) ((((triple2) -> (rule5 % int5)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
((((((triple2) -> (rule5 % int5)) ((((triple2) -> (rule5 % int5)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int5))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5