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