The mouse is cold. The mouse is green. The mouse is rough. The mouse is round. The mouse is young. The mouse needs the tiger. The mouse sees the tiger. The mouse visits the tiger. The tiger is cold. The tiger is green. The tiger is rough. The tiger is round. The tiger is young. The tiger needs the mouse. The tiger sees the mouse. The tiger visits the mouse. If someone sees the mouse then they are cold. If someone needs the mouse then the mouse needs the tiger. Cold people are rough. If someone sees the tiger and they are young then the tiger visits the mouse. If someone visits the mouse then they need the mouse. If someone needs the tiger then they visit the mouse. If the tiger visits the mouse then the mouse needs the tiger. If someone needs the mouse then they see the mouse.
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If someone sees the mouse then they are cold.
((("someone" "sees" "mouse" "+")) -> ("someone" "is" "cold" "+"))
If someone needs the mouse then the mouse needs the tiger.
((("someone" "needs" "mouse" "+")) -> ("mouse" "needs" "tiger" "+"))
Cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone sees the tiger and they are young then the tiger visits the mouse.
((("someone" "sees" "tiger" "+") ("someone" "is" "young" "+")) -> ("tiger" "visits" "mouse" "+"))
If someone visits the mouse then they need the mouse.
((("someone" "visits" "mouse" "+")) -> ("someone" "needs" "mouse" "+"))
If someone needs the tiger then they visit the mouse.
((("someone" "needs" "tiger" "+")) -> ("someone" "visits" "mouse" "+"))
If the tiger visits the mouse then the mouse needs the tiger.
((("tiger" "visits" "mouse" "+")) -> ("mouse" "needs" "tiger" "+"))
If someone needs the mouse then they see the mouse.
((("someone" "needs" "mouse" "+")) -> ("someone" "sees" "mouse" "+"))
The mouse sees the tiger.
True
1
proof
[(triple7)]
("mouse" "sees" "tiger" "+")
triple7
The tiger does not see the mouse.
False
1
inv-proof
[(triple15 OR ((triple14) -> rule8) OR ((((triple16) -> rule5)) -> rule8) OR ((((((triple7 triple5) -> rule4)) -> rule5)) -> rule8))]
("tiger" "sees" "mouse" "-")
triple15
((triple14) -> (rule8 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
((((triple16) -> (rule5 % int2))) -> (rule8 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int2
((((((triple7 triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int2
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int3
The mouse visits the mouse.
True
2
proof
[(((triple6) -> rule6) OR ((((triple14) -> rule2)) -> rule6) OR ((((triple16) -> rule7)) -> rule6) OR ((((((triple16) -> rule5)) -> rule2)) -> rule6) OR ((((((triple7 triple5) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple7 triple5) -> rule4)) -> rule5)) -> rule2)) -> rule6))]
("mouse" "visits" "mouse" "+")
((triple6) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
((((triple14) -> (rule2 % int2))) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int2
((((triple16) -> (rule7 % int2))) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int2
((((((triple16) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int2
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int3
((((((triple7 triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int2
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int3
((((((((triple7 triple5) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int2
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
The mouse does not visit the mouse.
False
2
inv-proof
[(((triple6) -> rule6) OR ((((triple14) -> rule2)) -> rule6) OR ((((triple16) -> rule7)) -> rule6) OR ((((((triple16) -> rule5)) -> rule2)) -> rule6) OR ((((((triple7 triple5) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple7 triple5) -> rule4)) -> rule5)) -> rule2)) -> rule6))]
("mouse" "visits" "mouse" "-")
((triple6) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
((((triple14) -> (rule2 % int2))) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int2
((((triple16) -> (rule7 % int2))) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int2
((((((triple16) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int2
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int3
((((((triple7 triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int2
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int3
((((((((triple7 triple5) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int2
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
The mouse needs the mouse.
True
3
proof
[(((((triple6) -> rule6)) -> rule5) OR ((((((triple14) -> rule2)) -> rule6)) -> rule5) OR ((((((triple16) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple16) -> rule5)) -> rule2)) -> rule6)) -> rule5) OR ((((((((triple7 triple5) -> rule4)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple7 triple5) -> rule4)) -> rule5)) -> rule2)) -> rule6)) -> rule5))]
("mouse" "needs" "mouse" "+")
((((triple6) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
((((((triple14) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int3
((((((triple16) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int3
((((((((triple16) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int3
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int4
((((((((triple7 triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
((((((((((triple7 triple5) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int3
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
The mouse does not need the mouse.
False
3
inv-proof
[(((((triple6) -> rule6)) -> rule5) OR ((((((triple14) -> rule2)) -> rule6)) -> rule5) OR ((((((triple16) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple16) -> rule5)) -> rule2)) -> rule6)) -> rule5) OR ((((((((triple7 triple5) -> rule4)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple7 triple5) -> rule4)) -> rule5)) -> rule2)) -> rule6)) -> rule5))]
("mouse" "needs" "mouse" "-")
((((triple6) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
((((((triple14) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int3
((((((triple16) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int3
((((((((triple16) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int3
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int4
((((((((triple7 triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
((((((((((triple7 triple5) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int3
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
The mouse sees the mouse.
True
4
proof
[(((((((triple6) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple14) -> rule2)) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple16) -> rule7)) -> rule6)) -> rule5)) -> rule8) OR ((((((((((triple16) -> rule5)) -> rule2)) -> rule6)) -> rule5)) -> rule8) OR ((((((((((triple7 triple5) -> rule4)) -> rule7)) -> rule6)) -> rule5)) -> rule8) OR ((((((((((((triple7 triple5) -> rule4)) -> rule5)) -> rule2)) -> rule6)) -> rule5)) -> rule8))]
("mouse" "sees" "mouse" "+")
((((((triple6) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
((((((((triple14) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int4
((((((((triple16) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int4
((((((((((triple16) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int4
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int5
((((((((((triple7 triple5) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
((((((((((((triple7 triple5) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int4
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6
The mouse does not see the mouse.
False
4
inv-proof
[(((((((triple6) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple14) -> rule2)) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple16) -> rule7)) -> rule6)) -> rule5)) -> rule8) OR ((((((((((triple16) -> rule5)) -> rule2)) -> rule6)) -> rule5)) -> rule8) OR ((((((((((triple7 triple5) -> rule4)) -> rule7)) -> rule6)) -> rule5)) -> rule8) OR ((((((((((((triple7 triple5) -> rule4)) -> rule5)) -> rule2)) -> rule6)) -> rule5)) -> rule8))]
("mouse" "sees" "mouse" "-")
((((((triple6) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
((((((((triple14) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int4
((((((((triple16) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int4
((((((((((triple16) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int4
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int5
((((((((((triple7 triple5) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
((((((((((((triple7 triple5) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int4
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6
The tiger does not visit the tiger.
Unknown
inv-random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The mouse is cold.[(triple1 OR ((((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule1) OR ((((((((((triple14) -> rule2)) -> rule6)) -> rule5)) -> rule8)) -> rule1) OR ((((((((((triple16) -> rule7)) -> rule6)) -> rule5)) -> rule8)) -> rule1) OR ((((((((((((triple16) -> rule5)) -> rule2)) -> rule6)) -> rule5)) -> rule8)) -> rule1) OR ((((((((((((triple7 triple5) -> rule4)) -> rule7)) -> rule6)) -> rule5)) -> rule8)) -> rule1) OR ((((((((((((((triple7 triple5) -> rule4)) -> rule5)) -> rule2)) -> rule6)) -> rule5)) -> rule8)) -> rule1))] The mouse is green.[(triple2)] The mouse is rough.[(triple3 OR ((triple1) -> rule3) OR ((((((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule1)) -> rule3) OR ((((((((((((triple14) -> rule2)) -> rule6)) -> rule5)) -> rule8)) -> rule1)) -> rule3) OR ((((((((((((triple16) -> rule7)) -> rule6)) -> rule5)) -> rule8)) -> rule1)) -> rule3) OR ((((((((((((((triple16) -> rule5)) -> rule2)) -> rule6)) -> rule5)) -> rule8)) -> rule1)) -> rule3) OR ((((((((((((((triple7 triple5) -> rule4)) -> rule7)) -> rule6)) -> rule5)) -> rule8)) -> rule1)) -> rule3) OR ((((((((((((((((triple7 triple5) -> rule4)) -> rule5)) -> rule2)) -> rule6)) -> rule5)) -> rule8)) -> rule1)) -> rule3))] The mouse is round.[(triple4)] The mouse is young.[(triple5)] The mouse needs the tiger.[(triple6 OR ((triple14) -> rule2) OR ((triple16) -> rule7) OR ((((triple16) -> rule5)) -> rule2) OR ((((triple7 triple5) -> rule4)) -> rule7) OR ((((((triple7 triple5) -> rule4)) -> rule5)) -> rule2))] The mouse sees the tiger.[(triple7)] The mouse visits the tiger.[(triple8)] The tiger is cold.[(triple9 OR ((triple15) -> rule1) OR ((((triple14) -> rule8)) -> rule1) OR ((((((triple16) -> rule5)) -> rule8)) -> rule1) OR ((((((((triple7 triple5) -> rule4)) -> rule5)) -> rule8)) -> rule1))] The tiger is green.[(triple10)] The tiger is rough.[(triple11 OR ((triple9) -> rule3) OR ((((triple15) -> rule1)) -> rule3) OR ((((((triple14) -> rule8)) -> rule1)) -> rule3) OR ((((((((triple16) -> rule5)) -> rule8)) -> rule1)) -> rule3) OR ((((((((((triple7 triple5) -> rule4)) -> rule5)) -> rule8)) -> rule1)) -> rule3))] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger needs the mouse.[(triple14 OR ((triple16) -> rule5) OR ((((triple7 triple5) -> rule4)) -> rule5))] The tiger sees the mouse.[(triple15 OR ((triple14) -> rule8) OR ((((triple16) -> rule5)) -> rule8) OR ((((((triple7 triple5) -> rule4)) -> rule5)) -> rule8))] The tiger visits the mouse.[(triple16 OR ((triple7 triple5) -> rule4))] @1: The mouse visits the mouse.[(((triple6) -> rule6) OR ((((triple14) -> rule2)) -> rule6) OR ((((triple16) -> rule7)) -> rule6) OR ((((((triple16) -> rule5)) -> rule2)) -> rule6) OR ((((((triple7 triple5) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple7 triple5) -> rule4)) -> rule5)) -> rule2)) -> rule6))] @2: The mouse needs the mouse.[(((((triple6) -> rule6)) -> rule5) OR ((((((triple14) -> rule2)) -> rule6)) -> rule5) OR ((((((triple16) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple16) -> rule5)) -> rule2)) -> rule6)) -> rule5) OR ((((((((triple7 triple5) -> rule4)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple7 triple5) -> rule4)) -> rule5)) -> rule2)) -> rule6)) -> rule5))] @3: The mouse sees the mouse.[(((((((triple6) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple14) -> rule2)) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple16) -> rule7)) -> rule6)) -> rule5)) -> rule8) OR ((((((((((triple16) -> rule5)) -> rule2)) -> rule6)) -> rule5)) -> rule8) OR ((((((((((triple7 triple5) -> rule4)) -> rule7)) -> rule6)) -> rule5)) -> rule8) OR ((((((((((((triple7 triple5) -> rule4)) -> rule5)) -> rule2)) -> rule6)) -> rule5)) -> rule8))]
The mouse is cold.
("mouse" "is" "cold" "+")
triple1
((((((((triple6) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int3
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int4
((((((((((triple14) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int3
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int4
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int5
((((((((((triple16) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int3
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int4
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int5
((((((((((((triple16) -> (rule5 % int6))) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int3
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int4
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int5
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int6
((((((((((((triple7 triple5) -> (rule4 % int6))) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int3
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int4
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6
((((((((((((((triple7 triple5) -> (rule4 % int7))) -> (rule5 % int6))) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int3
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int4
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int5
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int6
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int7
The mouse is green.
("mouse" "is" "green" "+")
triple2
The mouse is rough.
("mouse" "is" "rough" "+")
triple3
((triple1) -> (rule3 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
((((((((((triple6) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int3
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int4
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int5
((((((((((((triple14) -> (rule2 % int6))) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int3
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int4
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int5
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int6
((((((((((((triple16) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int3
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int4
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int5
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int6
((((((((((((((triple16) -> (rule5 % int7))) -> (rule2 % int6))) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int3
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int4
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int5
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int6
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int7
((((((((((((((triple7 triple5) -> (rule4 % int7))) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int3
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int4
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int5
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int6
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int7
((((((((((((((((triple7 triple5) -> (rule4 % int8))) -> (rule5 % int7))) -> (rule2 % int6))) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int3
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int4
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int5
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int6
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int7
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int8
The mouse is round.
("mouse" "is" "round" "+")
triple4
The mouse is young.
("mouse" "is" "young" "+")
triple5
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple6
((triple14) -> (rule2 % int1))
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int1
((triple16) -> (rule7 % int1))
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int1
((((triple16) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int1
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int2
((((triple7 triple5) -> (rule4 % int2))) -> (rule7 % int1))
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int1
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int2
((((((triple7 triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int1
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int2
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int3
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple7
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple8
The tiger is cold.
("tiger" "is" "cold" "+")
triple9
((triple15) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
((((triple14) -> (rule8 % int2))) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int2
((((((triple16) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int2
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int3
((((((((triple7 triple5) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int2
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
The tiger is green.
("tiger" "is" "green" "+")
triple10
The tiger is rough.
("tiger" "is" "rough" "+")
triple11
((triple9) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
((((triple15) -> (rule1 % int2))) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
((((((triple14) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int3
((((((((triple16) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int3
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int4
((((((((((triple7 triple5) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int3
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
The tiger is round.
("tiger" "is" "round" "+")
triple12
The tiger is young.
("tiger" "is" "young" "+")
triple13
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple14
((triple16) -> (rule5 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1
((((triple7 triple5) -> (rule4 % int2))) -> (rule5 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int2
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple15
((triple14) -> (rule8 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
((((triple16) -> (rule5 % int2))) -> (rule8 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int2
((((((triple7 triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int2
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple16
((triple7 triple5) -> (rule4 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((triple6) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
((((triple14) -> (rule2 % int2))) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int2
((((triple16) -> (rule7 % int2))) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int2
((((((triple16) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int2
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int3
((((((triple7 triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int2
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int3
((((((((triple7 triple5) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int2
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((((triple6) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
((((((triple14) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int3
((((((triple16) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int3
((((((((triple16) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int3
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int4
((((((((triple7 triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
((((((((((triple7 triple5) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int3
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((((((triple6) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
((((((((triple14) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int4
((((((((triple16) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int4
((((((((((triple16) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int4
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int5
((((((((((triple7 triple5) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
((((((((((((triple7 triple5) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int4
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6