The mouse eats the tiger. The mouse is big. The mouse is kind. The mouse is nice. The mouse is rough. The mouse is young. The mouse likes the tiger. The mouse sees the tiger. The tiger eats the mouse. The tiger is kind. The tiger is nice. The tiger is rough. The tiger is young. The tiger likes the mouse. The tiger sees the mouse. If someone is nice and they like the tiger then they are big. If someone eats the tiger then the tiger likes the mouse. If someone eats the mouse then the mouse is young. If the tiger eats the mouse and the mouse is kind then the tiger likes the mouse. If someone sees the mouse and they like the mouse then they like the tiger. If someone is young and big then they see the tiger. If the tiger likes the mouse and the mouse sees the tiger then the tiger eats the mouse. If someone sees the mouse then the mouse eats the tiger.
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
If someone is nice and they like the tiger then they are big.
((("someone" "is" "nice" "+") ("someone" "likes" "tiger" "+")) -> ("someone" "is" "big" "+"))
If someone eats the tiger then the tiger likes the mouse.
((("someone" "eats" "tiger" "+")) -> ("tiger" "likes" "mouse" "+"))
If someone eats the mouse then the mouse is young.
((("someone" "eats" "mouse" "+")) -> ("mouse" "is" "young" "+"))
If the tiger eats the mouse and the mouse is kind then the tiger likes the mouse.
((("tiger" "eats" "mouse" "+") ("mouse" "is" "kind" "+")) -> ("tiger" "likes" "mouse" "+"))
If someone sees the mouse and they like the mouse then they like the tiger.
((("someone" "sees" "mouse" "+") ("someone" "likes" "mouse" "+")) -> ("someone" "likes" "tiger" "+"))
If someone is young and big then they see the tiger.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "sees" "tiger" "+"))
If the tiger likes the mouse and the mouse sees the tiger then the tiger eats the mouse.
((("tiger" "likes" "mouse" "+") ("mouse" "sees" "tiger" "+")) -> ("tiger" "eats" "mouse" "+"))
If someone sees the mouse then the mouse eats the tiger.
((("someone" "sees" "mouse" "+")) -> ("mouse" "eats" "tiger" "+"))
The mouse sees the tiger.
True
1
proof
[(triple8 OR ((triple6 triple2) -> rule6) OR ((triple6 ((triple4 triple7) -> rule1)) -> rule6) OR ((((triple9) -> rule3) triple2) -> rule6) OR ((((triple9) -> rule3) ((triple4 triple7) -> rule1)) -> rule6))]
("mouse" "sees" "tiger" "+")
triple8
((triple6 triple2) -> (rule6 % int1))
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int1
((triple6 ((triple4 triple7) -> (rule1 % int2))) -> (rule6 % int1))
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
((((triple9) -> (rule3 % int2)) triple2) -> (rule6 % int1))
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
((((triple9) -> (rule3 % int3)) ((triple4 triple7) -> (rule1 % int2))) -> (rule6 % int1))
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The mouse is young.
("mouse" "is" "young" "+")
int3
The mouse is not nice.
False
1
inv-proof
[(triple4)]
("mouse" "is" "nice" "-")
triple4
The tiger likes the tiger.
True
3
proof
[(((triple15 triple14) -> rule5) OR ((triple15 ((triple1) -> rule2)) -> rule5) OR ((triple15 ((triple9 triple3) -> rule4)) -> rule5) OR ((triple15 ((((triple15) -> rule8)) -> rule2)) -> rule5))]
("tiger" "likes" "tiger" "+")
((triple15 triple14) -> (rule5 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
((triple15 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int2
((triple15 ((triple9 triple3) -> (rule4 % int2))) -> (rule5 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int2
((triple15 ((((triple15) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger does not like the tiger.
False
3
inv-proof
[(((triple15 triple14) -> rule5) OR ((triple15 ((triple1) -> rule2)) -> rule5) OR ((triple15 ((triple9 triple3) -> rule4)) -> rule5) OR ((triple15 ((((triple15) -> rule8)) -> rule2)) -> rule5))]
("tiger" "likes" "tiger" "-")
((triple15 triple14) -> (rule5 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
((triple15 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int2
((triple15 ((triple9 triple3) -> (rule4 % int2))) -> (rule5 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int2
((triple15 ((((triple15) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger is big.
True
5
proof
[(((triple11 ((triple15 triple14) -> rule5)) -> rule1) OR ((triple11 ((triple15 ((triple1) -> rule2)) -> rule5)) -> rule1) OR ((triple11 ((triple15 ((triple9 triple3) -> rule4)) -> rule5)) -> rule1) OR ((triple11 ((triple15 ((((triple15) -> rule8)) -> rule2)) -> rule5)) -> rule1))]
("tiger" "is" "big" "+")
((triple11 ((triple15 triple14) -> (rule5 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
((triple11 ((triple15 ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int3
((triple11 ((triple15 ((triple9 triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int3
((triple11 ((triple15 ((((triple15) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int3
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int4
The tiger is not big.
False
5
inv-proof
[(((triple11 ((triple15 triple14) -> rule5)) -> rule1) OR ((triple11 ((triple15 ((triple1) -> rule2)) -> rule5)) -> rule1) OR ((triple11 ((triple15 ((triple9 triple3) -> rule4)) -> rule5)) -> rule1) OR ((triple11 ((triple15 ((((triple15) -> rule8)) -> rule2)) -> rule5)) -> rule1))]
("tiger" "is" "big" "-")
((triple11 ((triple15 triple14) -> (rule5 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
((triple11 ((triple15 ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int3
((triple11 ((triple15 ((triple9 triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int3
((triple11 ((triple15 ((((triple15) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int3
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int4
The tiger sees the tiger.
True
7
proof
[(((triple13 ((triple11 ((triple15 triple14) -> rule5)) -> rule1)) -> rule6) OR ((triple13 ((triple11 ((triple15 ((triple1) -> rule2)) -> rule5)) -> rule1)) -> rule6) OR ((triple13 ((triple11 ((triple15 ((triple9 triple3) -> rule4)) -> rule5)) -> rule1)) -> rule6) OR ((triple13 ((triple11 ((triple15 ((((triple15) -> rule8)) -> rule2)) -> rule5)) -> rule1)) -> rule6))]
("tiger" "sees" "tiger" "+")
((triple13 ((triple11 ((triple15 triple14) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
((triple13 ((triple11 ((triple15 ((triple1) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int4
((triple13 ((triple11 ((triple15 ((triple9 triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int4
((triple13 ((triple11 ((triple15 ((((triple15) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int4
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int5
The tiger does not see the tiger.
False
7
inv-proof
[(((triple13 ((triple11 ((triple15 triple14) -> rule5)) -> rule1)) -> rule6) OR ((triple13 ((triple11 ((triple15 ((triple1) -> rule2)) -> rule5)) -> rule1)) -> rule6) OR ((triple13 ((triple11 ((triple15 ((triple9 triple3) -> rule4)) -> rule5)) -> rule1)) -> rule6) OR ((triple13 ((triple11 ((triple15 ((((triple15) -> rule8)) -> rule2)) -> rule5)) -> rule1)) -> rule6))]
("tiger" "sees" "tiger" "-")
((triple13 ((triple11 ((triple15 triple14) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
((triple13 ((triple11 ((triple15 ((triple1) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int4
((triple13 ((triple11 ((triple15 ((triple9 triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int4
((triple13 ((triple11 ((triple15 ((((triple15) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int4
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int5
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The mouse eats the tiger.[(triple1 OR ((triple15) -> rule8))] The mouse is big.[(triple2 OR ((triple4 triple7) -> rule1))] The mouse is kind.[(triple3)] The mouse is nice.[(triple4)] The mouse is rough.[(triple5)] The mouse is young.[(triple6 OR ((triple9) -> rule3) OR ((((triple14 triple8) -> rule7)) -> rule3) OR ((((((triple1) -> rule2) triple8) -> rule7)) -> rule3) OR ((((((((triple15) -> rule8)) -> rule2) triple8) -> rule7)) -> rule3))] The mouse likes the tiger.[(triple7)] The mouse sees the tiger.[(triple8 OR ((triple6 triple2) -> rule6) OR ((triple6 ((triple4 triple7) -> rule1)) -> rule6) OR ((((triple9) -> rule3) triple2) -> rule6) OR ((((triple9) -> rule3) ((triple4 triple7) -> rule1)) -> rule6))] The tiger eats the mouse.[(triple9 OR ((triple14 triple8) -> rule7) OR ((triple14 ((triple6 triple2) -> rule6)) -> rule7) OR ((((triple1) -> rule2) triple8) -> rule7) OR ((((triple1) -> rule2) ((triple6 triple2) -> rule6)) -> rule7) OR ((triple14 ((triple6 ((triple4 triple7) -> rule1)) -> rule6)) -> rule7) OR ((((((triple15) -> rule8)) -> rule2) triple8) -> rule7) OR ((((triple1) -> rule2) ((triple6 ((triple4 triple7) -> rule1)) -> rule6)) -> rule7) OR ((((((triple15) -> rule8)) -> rule2) ((triple6 triple2) -> rule6)) -> rule7) OR ((((((triple15) -> rule8)) -> rule2) ((triple6 ((triple4 triple7) -> rule1)) -> rule6)) -> rule7))] The tiger is kind.[(triple10)] The tiger is nice.[(triple11)] The tiger is rough.[(triple12)] The tiger is young.[(triple13)] The tiger likes the mouse.[(triple14 OR ((triple1) -> rule2) OR ((triple9 triple3) -> rule4) OR ((((triple15) -> rule8)) -> rule2))] The tiger sees the mouse.[(triple15)] @1: The tiger likes the tiger.[(((triple15 triple14) -> rule5) OR ((triple15 ((triple1) -> rule2)) -> rule5) OR ((triple15 ((triple9 triple3) -> rule4)) -> rule5) OR ((triple15 ((((triple15) -> rule8)) -> rule2)) -> rule5))] @2: The tiger is big.[(((triple11 ((triple15 triple14) -> rule5)) -> rule1) OR ((triple11 ((triple15 ((triple1) -> rule2)) -> rule5)) -> rule1) OR ((triple11 ((triple15 ((triple9 triple3) -> rule4)) -> rule5)) -> rule1) OR ((triple11 ((triple15 ((((triple15) -> rule8)) -> rule2)) -> rule5)) -> rule1))] @3: The tiger sees the tiger.[(((triple13 ((triple11 ((triple15 triple14) -> rule5)) -> rule1)) -> rule6) OR ((triple13 ((triple11 ((triple15 ((triple1) -> rule2)) -> rule5)) -> rule1)) -> rule6) OR ((triple13 ((triple11 ((triple15 ((triple9 triple3) -> rule4)) -> rule5)) -> rule1)) -> rule6) OR ((triple13 ((triple11 ((triple15 ((((triple15) -> rule8)) -> rule2)) -> rule5)) -> rule1)) -> rule6))]
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple1
((triple15) -> (rule8 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
triple2
((triple4 triple7) -> (rule1 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
triple3
The mouse is nice.
("mouse" "is" "nice" "+")
triple4
The mouse is rough.
("mouse" "is" "rough" "+")
triple5
The mouse is young.
("mouse" "is" "young" "+")
triple6
((triple9) -> (rule3 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
((((triple14 triple8) -> (rule7 % int2))) -> (rule3 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
((((((triple1) -> (rule2 % int3)) triple8) -> (rule7 % int2))) -> (rule3 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int3
((((((((triple15) -> (rule8 % int4))) -> (rule2 % int3)) triple8) -> (rule7 % int2))) -> (rule3 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int3
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int4
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple7
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple8
((triple6 triple2) -> (rule6 % int1))
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int1
((triple6 ((triple4 triple7) -> (rule1 % int2))) -> (rule6 % int1))
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
((((triple9) -> (rule3 % int2)) triple2) -> (rule6 % int1))
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
((((triple9) -> (rule3 % int3)) ((triple4 triple7) -> (rule1 % int2))) -> (rule6 % int1))
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The mouse is young.
("mouse" "is" "young" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple9
((triple14 triple8) -> (rule7 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
((triple14 ((triple6 triple2) -> (rule6 % int2))) -> (rule7 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int2
((((triple1) -> (rule2 % int2)) triple8) -> (rule7 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int2
((((triple1) -> (rule2 % int3)) ((triple6 triple2) -> (rule6 % int2))) -> (rule7 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int2
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int3
((triple14 ((triple6 ((triple4 triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
((((((triple15) -> (rule8 % int3))) -> (rule2 % int2)) triple8) -> (rule7 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
((((triple1) -> (rule2 % int4)) ((triple6 ((triple4 triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int4
((((((triple15) -> (rule8 % int4))) -> (rule2 % int3)) ((triple6 triple2) -> (rule6 % int2))) -> (rule7 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int2
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int3
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int4
((((((triple15) -> (rule8 % int5))) -> (rule2 % int4)) ((triple6 ((triple4 triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int4
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int5
The tiger is kind.
("tiger" "is" "kind" "+")
triple10
The tiger is nice.
("tiger" "is" "nice" "+")
triple11
The tiger is rough.
("tiger" "is" "rough" "+")
triple12
The tiger is young.
("tiger" "is" "young" "+")
triple13
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple14
((triple1) -> (rule2 % int1))
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int1
((triple9 triple3) -> (rule4 % int1))
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int1
((((triple15) -> (rule8 % int2))) -> (rule2 % int1))
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int2
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple15
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((triple15 triple14) -> (rule5 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
((triple15 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int2
((triple15 ((triple9 triple3) -> (rule4 % int2))) -> (rule5 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int2
((triple15 ((((triple15) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
((triple11 ((triple15 triple14) -> (rule5 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
((triple11 ((triple15 ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int3
((triple11 ((triple15 ((triple9 triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int3
((triple11 ((triple15 ((((triple15) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int3
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int4
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
((triple13 ((triple11 ((triple15 triple14) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
((triple13 ((triple11 ((triple15 ((triple1) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int4
((triple13 ((triple11 ((triple15 ((triple9 triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int4
((triple13 ((triple11 ((triple15 ((((triple15) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int4
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int5