The lion eats the mouse. The lion is green. The lion is nice. The lion is red. The lion is rough. The lion is young. The lion sees the mouse. The lion visits the mouse. The mouse eats the lion. The mouse is green. The mouse is nice. The mouse is red. The mouse is rough. The mouse sees the lion. The mouse visits the lion. If something is rough then it visits the mouse. If something is rough and it sees the mouse then the mouse visits the lion. If something is red and young then it eats the mouse. All nice things are young. If something sees the mouse then it visits the mouse. If something is nice and it visits the lion then it sees the mouse. If something visits the mouse then the mouse is young. Nice things are rough.
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
If something is rough then it visits the mouse.
((("something" "is" "rough" "+")) -> ("something" "visits" "mouse" "+"))
If something is rough and it sees the mouse then the mouse visits the lion.
((("something" "is" "rough" "+") ("something" "sees" "mouse" "+")) -> ("mouse" "visits" "lion" "+"))
If something is red and young then it eats the mouse.
((("something" "is" "red" "+") ("something" "is" "young" "+")) -> ("something" "eats" "mouse" "+"))
All nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If something sees the mouse then it visits the mouse.
((("something" "sees" "mouse" "+")) -> ("something" "visits" "mouse" "+"))
If something is nice and it visits the lion then it sees the mouse.
((("something" "is" "nice" "+") ("something" "visits" "lion" "+")) -> ("something" "sees" "mouse" "+"))
If something visits the mouse then the mouse is young.
((("something" "visits" "mouse" "+")) -> ("mouse" "is" "young" "+"))
Nice things are rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
The mouse is rough.
True
1
proof
[(triple13 OR ((triple11) -> rule8))]
("mouse" "is" "rough" "+")
triple13
((triple11) -> (rule8 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is not rough.
False
1
inv-proof
[(triple13 OR ((triple11) -> rule8))]
("mouse" "is" "rough" "-")
triple13
((triple11) -> (rule8 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse visits the mouse.
True
2
proof
[(((triple13) -> rule1) OR ((((triple11) -> rule8)) -> rule1) OR ((((triple11 triple15) -> rule6)) -> rule5) OR ((((triple11 ((triple5 triple7) -> rule2)) -> rule6)) -> rule5) OR ((((triple11 ((((triple3) -> rule8) triple7) -> rule2)) -> rule6)) -> rule5))]
("mouse" "visits" "mouse" "+")
((triple13) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
((((triple11) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
((((triple11 triple15) -> (rule6 % int2))) -> (rule5 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
((((triple11 ((triple5 triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int3
((((triple11 ((((triple3) -> (rule8 % int4)) triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
The mouse does not see the mouse.
False
3
inv-proof
[(((triple11 triple15) -> rule6) OR ((triple11 ((triple5 triple7) -> rule2)) -> rule6) OR ((triple11 ((((triple3) -> rule8) triple7) -> rule2)) -> rule6))]
("mouse" "sees" "mouse" "-")
((triple11 triple15) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
((triple11 ((triple5 triple7) -> (rule2 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int2
((triple11 ((((triple3) -> (rule8 % int3)) triple7) -> (rule2 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
The mouse eats the mouse.
True
4
proof
[(((triple12 ((triple11) -> rule4)) -> rule3) OR ((triple12 ((triple8) -> rule7)) -> rule3) OR ((triple12 ((((triple13) -> rule1)) -> rule7)) -> rule3) OR ((triple12 ((((triple5) -> rule1)) -> rule7)) -> rule3) OR ((triple12 ((((triple7) -> rule5)) -> rule7)) -> rule3) OR ((triple12 ((((((triple11) -> rule8)) -> rule1)) -> rule7)) -> rule3) OR ((triple12 ((((((triple3) -> rule8)) -> rule1)) -> rule7)) -> rule3) OR ((triple12 ((((((triple11 triple15) -> rule6)) -> rule5)) -> rule7)) -> rule3) OR ((triple12 ((((((triple11 ((triple5 triple7) -> rule2)) -> rule6)) -> rule5)) -> rule7)) -> rule3) OR ((triple12 ((((((triple11 ((((triple3) -> rule8) triple7) -> rule2)) -> rule6)) -> rule5)) -> rule7)) -> rule3))]
("mouse" "eats" "mouse" "+")
((triple12 ((triple11) -> (rule4 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
((triple12 ((triple8) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
((triple12 ((((triple13) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
((triple12 ((((triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int3
((triple12 ((((triple7) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int3
((triple12 ((((((triple11) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((triple12 ((((((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((triple12 ((((((triple11 triple15) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int4
((triple12 ((((((triple11 ((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int4
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int5
((triple12 ((((((triple11 ((((triple3) -> (rule8 % int6)) triple7) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int4
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int5
The lion is rough.
("lion" "is" "rough" "+")
int6
The mouse does not eat the mouse.
False
4
inv-proof
[(((triple12 ((triple11) -> rule4)) -> rule3) OR ((triple12 ((triple8) -> rule7)) -> rule3) OR ((triple12 ((((triple13) -> rule1)) -> rule7)) -> rule3) OR ((triple12 ((((triple5) -> rule1)) -> rule7)) -> rule3) OR ((triple12 ((((triple7) -> rule5)) -> rule7)) -> rule3) OR ((triple12 ((((((triple11) -> rule8)) -> rule1)) -> rule7)) -> rule3) OR ((triple12 ((((((triple3) -> rule8)) -> rule1)) -> rule7)) -> rule3) OR ((triple12 ((((((triple11 triple15) -> rule6)) -> rule5)) -> rule7)) -> rule3) OR ((triple12 ((((((triple11 ((triple5 triple7) -> rule2)) -> rule6)) -> rule5)) -> rule7)) -> rule3) OR ((triple12 ((((((triple11 ((((triple3) -> rule8) triple7) -> rule2)) -> rule6)) -> rule5)) -> rule7)) -> rule3))]
("mouse" "eats" "mouse" "-")
((triple12 ((triple11) -> (rule4 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
((triple12 ((triple8) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
((triple12 ((((triple13) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
((triple12 ((((triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int3
((triple12 ((((triple7) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int3
((triple12 ((((((triple11) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((triple12 ((((((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((triple12 ((((((triple11 triple15) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int4
((triple12 ((((((triple11 ((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int4
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int5
((triple12 ((((((triple11 ((((triple3) -> (rule8 % int6)) triple7) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int4
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int5
The lion is rough.
("lion" "is" "rough" "+")
int6
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The lion eats the mouse.[(triple1 OR ((triple4 triple6) -> rule3) OR ((triple4 ((triple3) -> rule4)) -> rule3))] The lion is green.[(triple2)] The lion is nice.[(triple3)] The lion is red.[(triple4)] The lion is rough.[(triple5 OR ((triple3) -> rule8))] The lion is young.[(triple6 OR ((triple3) -> rule4))] The lion sees the mouse.[(triple7)] The lion visits the mouse.[(triple8 OR ((triple5) -> rule1) OR ((triple7) -> rule5) OR ((((triple3) -> rule8)) -> rule1))] The mouse eats the lion.[(triple9)] The mouse is green.[(triple10)] The mouse is nice.[(triple11)] The mouse is red.[(triple12)] The mouse is rough.[(triple13 OR ((triple11) -> rule8))] The mouse sees the lion.[(triple14)] The mouse visits the lion.[(triple15 OR ((triple5 triple7) -> rule2) OR ((((triple3) -> rule8) triple7) -> rule2))] @1: The mouse is young.[(((triple11) -> rule4) OR ((triple8) -> rule7) OR ((((triple13) -> rule1)) -> rule7) OR ((((triple5) -> rule1)) -> rule7) OR ((((triple7) -> rule5)) -> rule7) OR ((((((triple11) -> rule8)) -> rule1)) -> rule7) OR ((((((triple3) -> rule8)) -> rule1)) -> rule7) OR ((((((triple11 triple15) -> rule6)) -> rule5)) -> rule7) OR ((((((triple11 ((triple5 triple7) -> rule2)) -> rule6)) -> rule5)) -> rule7) OR ((((((triple11 ((((triple3) -> rule8) triple7) -> rule2)) -> rule6)) -> rule5)) -> rule7))] The mouse sees the mouse.[(((triple11 triple15) -> rule6) OR ((triple11 ((triple5 triple7) -> rule2)) -> rule6) OR ((triple11 ((((triple3) -> rule8) triple7) -> rule2)) -> rule6))] The mouse visits the mouse.[(((triple13) -> rule1) OR ((((triple11) -> rule8)) -> rule1) OR ((((triple11 triple15) -> rule6)) -> rule5) OR ((((triple11 ((triple5 triple7) -> rule2)) -> rule6)) -> rule5) OR ((((triple11 ((((triple3) -> rule8) triple7) -> rule2)) -> rule6)) -> rule5))] @2: The mouse eats the mouse.[(((triple12 ((triple11) -> rule4)) -> rule3) OR ((triple12 ((triple8) -> rule7)) -> rule3) OR ((triple12 ((((triple13) -> rule1)) -> rule7)) -> rule3) OR ((triple12 ((((triple5) -> rule1)) -> rule7)) -> rule3) OR ((triple12 ((((triple7) -> rule5)) -> rule7)) -> rule3) OR ((triple12 ((((((triple11) -> rule8)) -> rule1)) -> rule7)) -> rule3) OR ((triple12 ((((((triple3) -> rule8)) -> rule1)) -> rule7)) -> rule3) OR ((triple12 ((((((triple11 triple15) -> rule6)) -> rule5)) -> rule7)) -> rule3) OR ((triple12 ((((((triple11 ((triple5 triple7) -> rule2)) -> rule6)) -> rule5)) -> rule7)) -> rule3) OR ((triple12 ((((((triple11 ((((triple3) -> rule8) triple7) -> rule2)) -> rule6)) -> rule5)) -> rule7)) -> rule3))]
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple1
((triple4 triple6) -> (rule3 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1
((triple4 ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The lion is green.
("lion" "is" "green" "+")
triple2
The lion is nice.
("lion" "is" "nice" "+")
triple3
The lion is red.
("lion" "is" "red" "+")
triple4
The lion is rough.
("lion" "is" "rough" "+")
triple5
((triple3) -> (rule8 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is young.
("lion" "is" "young" "+")
triple6
((triple3) -> (rule4 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple7
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple8
((triple5) -> (rule1 % int1))
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int1
((triple7) -> (rule5 % int1))
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int1
((((triple3) -> (rule8 % int2))) -> (rule1 % int1))
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple9
The mouse is green.
("mouse" "is" "green" "+")
triple10
The mouse is nice.
("mouse" "is" "nice" "+")
triple11
The mouse is red.
("mouse" "is" "red" "+")
triple12
The mouse is rough.
("mouse" "is" "rough" "+")
triple13
((triple11) -> (rule8 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple14
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple15
((triple5 triple7) -> (rule2 % int1))
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int1
((((triple3) -> (rule8 % int2)) triple7) -> (rule2 % int1))
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The mouse is young.
("mouse" "is" "young" "+")
((triple11) -> (rule4 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
((triple8) -> (rule7 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
((((triple13) -> (rule1 % int2))) -> (rule7 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
((((triple5) -> (rule1 % int2))) -> (rule7 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int2
((((triple7) -> (rule5 % int2))) -> (rule7 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int2
((((((triple11) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((((((triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
((((((triple11 triple15) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int3
((((((triple11 ((triple5 triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int3
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int4
((((((triple11 ((((triple3) -> (rule8 % int5)) triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int3
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int4
The lion is rough.
("lion" "is" "rough" "+")
int5
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((triple11 triple15) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
((triple11 ((triple5 triple7) -> (rule2 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int2
((triple11 ((((triple3) -> (rule8 % int3)) triple7) -> (rule2 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((triple13) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
((((triple11) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
((((triple11 triple15) -> (rule6 % int2))) -> (rule5 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
((((triple11 ((triple5 triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int3
((((triple11 ((((triple3) -> (rule8 % int4)) triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple12 ((triple11) -> (rule4 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
((triple12 ((triple8) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
((triple12 ((((triple13) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
((triple12 ((((triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int3
((triple12 ((((triple7) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int3
((triple12 ((((((triple11) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((triple12 ((((((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
((triple12 ((((((triple11 triple15) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int4
((triple12 ((((((triple11 ((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int4
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int5
((triple12 ((((((triple11 ((((triple3) -> (rule8 % int6)) triple7) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int4
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int5
The lion is rough.
("lion" "is" "rough" "+")
int6