The lion chases the mouse. The lion is big. The lion is green. The lion is kind. The lion is young. The lion likes the mouse. The lion sees the mouse. The mouse chases the lion. The mouse is big. The mouse is kind. The mouse likes the lion. The mouse sees the lion. If something is green then it chases the mouse. If something sees the mouse then it sees the lion. If something is kind and it sees the lion then the lion likes the mouse. If something sees the mouse and it is young then it chases the lion. If something likes the mouse and the mouse is big then the mouse is green. If the lion likes the mouse then the mouse likes the lion. If something is big and it chases the mouse then the mouse is big. If something sees the lion and it likes the lion then the lion likes the mouse.
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
If something is green then it chases the mouse.
((("something" "is" "green" "+")) -> ("something" "chases" "mouse" "+"))
If something sees the mouse then it sees the lion.
((("something" "sees" "mouse" "+")) -> ("something" "sees" "lion" "+"))
If something is kind and it sees the lion then the lion likes the mouse.
((("something" "is" "kind" "+") ("something" "sees" "lion" "+")) -> ("lion" "likes" "mouse" "+"))
If something sees the mouse and it is young then it chases the lion.
((("something" "sees" "mouse" "+") ("something" "is" "young" "+")) -> ("something" "chases" "lion" "+"))
If something likes the mouse and the mouse is big then the mouse is green.
((("something" "likes" "mouse" "+") ("mouse" "is" "big" "+")) -> ("mouse" "is" "green" "+"))
If the lion likes the mouse then the mouse likes the lion.
((("lion" "likes" "mouse" "+")) -> ("mouse" "likes" "lion" "+"))
If something is big and it chases the mouse then the mouse is big.
((("something" "is" "big" "+") ("something" "chases" "mouse" "+")) -> ("mouse" "is" "big" "+"))
If something sees the lion and it likes the lion then the lion likes the mouse.
((("something" "sees" "lion" "+") ("something" "likes" "lion" "+")) -> ("lion" "likes" "mouse" "+"))
The mouse is big.
True
1
proof
[(triple9 OR ((triple2 triple1) -> rule7) OR ((triple2 ((triple3) -> rule1)) -> rule7))]
("mouse" "is" "big" "+")
triple9
((triple2 triple1) -> (rule7 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
((triple2 ((triple3) -> (rule1 % int2))) -> (rule7 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int2
The mouse does not like the lion.
False
1
inv-proof
[(triple11 OR ((triple6) -> rule6) OR ((((triple10 triple12) -> rule3)) -> rule6) OR ((((triple4 ((triple7) -> rule2)) -> rule3)) -> rule6))]
("mouse" "likes" "lion" "-")
triple11
((triple6) -> (rule6 % int1))
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int1
((((triple10 triple12) -> (rule3 % int2))) -> (rule6 % int1))
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int1
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int2
((((triple4 ((triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int1
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The mouse is green.
True
3
proof
[(((triple6 triple9) -> rule5) OR ((triple6 ((triple2 triple1) -> rule7)) -> rule5) OR ((((triple10 triple12) -> rule3) triple9) -> rule5) OR ((((triple12 triple11) -> rule8) triple9) -> rule5) OR ((((triple10 triple12) -> rule3) ((triple2 triple1) -> rule7)) -> rule5) OR ((((triple12 triple11) -> rule8) ((triple2 triple1) -> rule7)) -> rule5) OR ((triple6 ((triple2 ((triple3) -> rule1)) -> rule7)) -> rule5) OR ((((triple4 ((triple7) -> rule2)) -> rule3) triple9) -> rule5) OR ((((triple10 triple12) -> rule3) ((triple2 ((triple3) -> rule1)) -> rule7)) -> rule5) OR ((((triple12 triple11) -> rule8) ((triple2 ((triple3) -> rule1)) -> rule7)) -> rule5) OR ((((triple4 ((triple7) -> rule2)) -> rule3) ((triple2 triple1) -> rule7)) -> rule5) OR ((((triple4 ((triple7) -> rule2)) -> rule3) ((triple2 ((triple3) -> rule1)) -> rule7)) -> rule5))]
("mouse" "is" "green" "+")
((triple6 triple9) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
((triple6 ((triple2 triple1) -> (rule7 % int2))) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
((((triple10 triple12) -> (rule3 % int2)) triple9) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int2
((((triple12 triple11) -> (rule8 % int2)) triple9) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int2
((((triple10 triple12) -> (rule3 % int3)) ((triple2 triple1) -> (rule7 % int2))) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int3
((((triple12 triple11) -> (rule8 % int3)) ((triple2 triple1) -> (rule7 % int2))) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int3
((triple6 ((triple2 ((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int3
((((triple4 ((triple7) -> (rule2 % int3))) -> (rule3 % int2)) triple9) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
((((triple10 triple12) -> (rule3 % int4)) ((triple2 ((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int3
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int4
((((triple12 triple11) -> (rule8 % int4)) ((triple2 ((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int3
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int4
((((triple4 ((triple7) -> (rule2 % int4))) -> (rule3 % int3)) ((triple2 triple1) -> (rule7 % int2))) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int3
The lion sees the lion.
("lion" "sees" "lion" "+")
int4
((((triple4 ((triple7) -> (rule2 % int5))) -> (rule3 % int4)) ((triple2 ((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int3
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int4
The lion sees the lion.
("lion" "sees" "lion" "+")
int5
The lion does not chase the lion.
False
3
inv-proof
[(((triple7 triple5) -> rule4))]
("lion" "chases" "lion" "-")
((triple7 triple5) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The mouse chases the mouse.
True
4
proof
[(((((triple6 triple9) -> rule5)) -> rule1) OR ((((triple6 ((triple2 triple1) -> rule7)) -> rule5)) -> rule1) OR ((((((triple10 triple12) -> rule3) triple9) -> rule5)) -> rule1) OR ((((((triple12 triple11) -> rule8) triple9) -> rule5)) -> rule1) OR ((((((triple10 triple12) -> rule3) ((triple2 triple1) -> rule7)) -> rule5)) -> rule1) OR ((((((triple12 triple11) -> rule8) ((triple2 triple1) -> rule7)) -> rule5)) -> rule1) OR ((((triple6 ((triple2 ((triple3) -> rule1)) -> rule7)) -> rule5)) -> rule1) OR ((((((triple4 ((triple7) -> rule2)) -> rule3) triple9) -> rule5)) -> rule1) OR ((((((triple10 triple12) -> rule3) ((triple2 ((triple3) -> rule1)) -> rule7)) -> rule5)) -> rule1) OR ((((((triple12 triple11) -> rule8) ((triple2 ((triple3) -> rule1)) -> rule7)) -> rule5)) -> rule1) OR ((((((triple4 ((triple7) -> rule2)) -> rule3) ((triple2 triple1) -> rule7)) -> rule5)) -> rule1) OR ((((((triple4 ((triple7) -> rule2)) -> rule3) ((triple2 ((triple3) -> rule1)) -> rule7)) -> rule5)) -> rule1))]
("mouse" "chases" "mouse" "+")
((((triple6 triple9) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
((((triple6 ((triple2 triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
((((((triple10 triple12) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int3
((((((triple12 triple11) -> (rule8 % int3)) triple9) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int3
((((((triple10 triple12) -> (rule3 % int4)) ((triple2 triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int4
((((((triple12 triple11) -> (rule8 % int4)) ((triple2 triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int4
((((triple6 ((triple2 ((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int4
((((((triple4 ((triple7) -> (rule2 % int4))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int3
The lion sees the lion.
("lion" "sees" "lion" "+")
int4
((((((triple10 triple12) -> (rule3 % int5)) ((triple2 ((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int4
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int5
((((((triple12 triple11) -> (rule8 % int5)) ((triple2 ((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int4
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int5
((((((triple4 ((triple7) -> (rule2 % int5))) -> (rule3 % int4)) ((triple2 triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int4
The lion sees the lion.
("lion" "sees" "lion" "+")
int5
((((((triple4 ((triple7) -> (rule2 % int6))) -> (rule3 % int5)) ((triple2 ((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int4
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int5
The lion sees the lion.
("lion" "sees" "lion" "+")
int6
The mouse does not chase the mouse.
False
4
inv-proof
[(((((triple6 triple9) -> rule5)) -> rule1) OR ((((triple6 ((triple2 triple1) -> rule7)) -> rule5)) -> rule1) OR ((((((triple10 triple12) -> rule3) triple9) -> rule5)) -> rule1) OR ((((((triple12 triple11) -> rule8) triple9) -> rule5)) -> rule1) OR ((((((triple10 triple12) -> rule3) ((triple2 triple1) -> rule7)) -> rule5)) -> rule1) OR ((((((triple12 triple11) -> rule8) ((triple2 triple1) -> rule7)) -> rule5)) -> rule1) OR ((((triple6 ((triple2 ((triple3) -> rule1)) -> rule7)) -> rule5)) -> rule1) OR ((((((triple4 ((triple7) -> rule2)) -> rule3) triple9) -> rule5)) -> rule1) OR ((((((triple10 triple12) -> rule3) ((triple2 ((triple3) -> rule1)) -> rule7)) -> rule5)) -> rule1) OR ((((((triple12 triple11) -> rule8) ((triple2 ((triple3) -> rule1)) -> rule7)) -> rule5)) -> rule1) OR ((((((triple4 ((triple7) -> rule2)) -> rule3) ((triple2 triple1) -> rule7)) -> rule5)) -> rule1) OR ((((((triple4 ((triple7) -> rule2)) -> rule3) ((triple2 ((triple3) -> rule1)) -> rule7)) -> rule5)) -> rule1))]
("mouse" "chases" "mouse" "-")
((((triple6 triple9) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
((((triple6 ((triple2 triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
((((((triple10 triple12) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int3
((((((triple12 triple11) -> (rule8 % int3)) triple9) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int3
((((((triple10 triple12) -> (rule3 % int4)) ((triple2 triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int4
((((((triple12 triple11) -> (rule8 % int4)) ((triple2 triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int4
((((triple6 ((triple2 ((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int4
((((((triple4 ((triple7) -> (rule2 % int4))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int3
The lion sees the lion.
("lion" "sees" "lion" "+")
int4
((((((triple10 triple12) -> (rule3 % int5)) ((triple2 ((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int4
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int5
((((((triple12 triple11) -> (rule8 % int5)) ((triple2 ((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int4
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int5
((((((triple4 ((triple7) -> (rule2 % int5))) -> (rule3 % int4)) ((triple2 triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int4
The lion sees the lion.
("lion" "sees" "lion" "+")
int5
((((((triple4 ((triple7) -> (rule2 % int6))) -> (rule3 % int5)) ((triple2 ((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int4
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int5
The lion sees the lion.
("lion" "sees" "lion" "+")
int6
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
The mouse is not cold.
Unknown
inv-random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "-")
The lion is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
The mouse is not young.
Unknown
inv-random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The lion chases the mouse.[(triple1 OR ((triple3) -> rule1))] The lion is big.[(triple2)] The lion is green.[(triple3)] The lion is kind.[(triple4)] The lion is young.[(triple5)] The lion likes the mouse.[(triple6 OR ((triple10 triple12) -> rule3) OR ((triple12 triple11) -> rule8) OR ((triple4 ((triple7) -> rule2)) -> rule3))] The lion sees the mouse.[(triple7)] The mouse chases the lion.[(triple8)] The mouse is big.[(triple9 OR ((triple2 triple1) -> rule7) OR ((triple2 ((triple3) -> rule1)) -> rule7))] The mouse is kind.[(triple10)] The mouse likes the lion.[(triple11 OR ((triple6) -> rule6) OR ((((triple10 triple12) -> rule3)) -> rule6) OR ((((triple4 ((triple7) -> rule2)) -> rule3)) -> rule6))] The mouse sees the lion.[(triple12)] @1: The lion chases the lion.[(((triple7 triple5) -> rule4))] The lion sees the lion.[(((triple7) -> rule2))] The mouse is green.[(((triple6 triple9) -> rule5) OR ((triple6 ((triple2 triple1) -> rule7)) -> rule5) OR ((((triple10 triple12) -> rule3) triple9) -> rule5) OR ((((triple12 triple11) -> rule8) triple9) -> rule5) OR ((((triple10 triple12) -> rule3) ((triple2 triple1) -> rule7)) -> rule5) OR ((((triple12 triple11) -> rule8) ((triple2 triple1) -> rule7)) -> rule5) OR ((triple6 ((triple2 ((triple3) -> rule1)) -> rule7)) -> rule5) OR ((((triple4 ((triple7) -> rule2)) -> rule3) triple9) -> rule5) OR ((((triple10 triple12) -> rule3) ((triple2 ((triple3) -> rule1)) -> rule7)) -> rule5) OR ((((triple12 triple11) -> rule8) ((triple2 ((triple3) -> rule1)) -> rule7)) -> rule5) OR ((((triple4 ((triple7) -> rule2)) -> rule3) ((triple2 triple1) -> rule7)) -> rule5) OR ((((triple4 ((triple7) -> rule2)) -> rule3) ((triple2 ((triple3) -> rule1)) -> rule7)) -> rule5))] @2: The mouse chases the mouse.[(((((triple6 triple9) -> rule5)) -> rule1) OR ((((triple6 ((triple2 triple1) -> rule7)) -> rule5)) -> rule1) OR ((((((triple10 triple12) -> rule3) triple9) -> rule5)) -> rule1) OR ((((((triple12 triple11) -> rule8) triple9) -> rule5)) -> rule1) OR ((((((triple10 triple12) -> rule3) ((triple2 triple1) -> rule7)) -> rule5)) -> rule1) OR ((((((triple12 triple11) -> rule8) ((triple2 triple1) -> rule7)) -> rule5)) -> rule1) OR ((((triple6 ((triple2 ((triple3) -> rule1)) -> rule7)) -> rule5)) -> rule1) OR ((((((triple4 ((triple7) -> rule2)) -> rule3) triple9) -> rule5)) -> rule1) OR ((((((triple10 triple12) -> rule3) ((triple2 ((triple3) -> rule1)) -> rule7)) -> rule5)) -> rule1) OR ((((((triple12 triple11) -> rule8) ((triple2 ((triple3) -> rule1)) -> rule7)) -> rule5)) -> rule1) OR ((((((triple4 ((triple7) -> rule2)) -> rule3) ((triple2 triple1) -> rule7)) -> rule5)) -> rule1) OR ((((((triple4 ((triple7) -> rule2)) -> rule3) ((triple2 ((triple3) -> rule1)) -> rule7)) -> rule5)) -> rule1))]
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple1
((triple3) -> (rule1 % int1))
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int1
The lion is big.
("lion" "is" "big" "+")
triple2
The lion is green.
("lion" "is" "green" "+")
triple3
The lion is kind.
("lion" "is" "kind" "+")
triple4
The lion is young.
("lion" "is" "young" "+")
triple5
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple6
((triple10 triple12) -> (rule3 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
((triple12 triple11) -> (rule8 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
((triple4 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
int2
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple7
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple8
The mouse is big.
("mouse" "is" "big" "+")
triple9
((triple2 triple1) -> (rule7 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
((triple2 ((triple3) -> (rule1 % int2))) -> (rule7 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
triple10
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple11
((triple6) -> (rule6 % int1))
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int1
((((triple10 triple12) -> (rule3 % int2))) -> (rule6 % int1))
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int1
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int2
((((triple4 ((triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int1
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple12
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple7 triple5) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
((triple7) -> (rule2 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
((triple6 triple9) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
((triple6 ((triple2 triple1) -> (rule7 % int2))) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
((((triple10 triple12) -> (rule3 % int2)) triple9) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int2
((((triple12 triple11) -> (rule8 % int2)) triple9) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int2
((((triple10 triple12) -> (rule3 % int3)) ((triple2 triple1) -> (rule7 % int2))) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int3
((((triple12 triple11) -> (rule8 % int3)) ((triple2 triple1) -> (rule7 % int2))) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int3
((triple6 ((triple2 ((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int3
((((triple4 ((triple7) -> (rule2 % int3))) -> (rule3 % int2)) triple9) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
((((triple10 triple12) -> (rule3 % int4)) ((triple2 ((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int3
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int4
((((triple12 triple11) -> (rule8 % int4)) ((triple2 ((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int3
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int4
((((triple4 ((triple7) -> (rule2 % int4))) -> (rule3 % int3)) ((triple2 triple1) -> (rule7 % int2))) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int3
The lion sees the lion.
("lion" "sees" "lion" "+")
int4
((((triple4 ((triple7) -> (rule2 % int5))) -> (rule3 % int4)) ((triple2 ((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int3
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int4
The lion sees the lion.
("lion" "sees" "lion" "+")
int5
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((((triple6 triple9) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
((((triple6 ((triple2 triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
((((((triple10 triple12) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int3
((((((triple12 triple11) -> (rule8 % int3)) triple9) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int3
((((((triple10 triple12) -> (rule3 % int4)) ((triple2 triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int4
((((((triple12 triple11) -> (rule8 % int4)) ((triple2 triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int4
((((triple6 ((triple2 ((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int4
((((((triple4 ((triple7) -> (rule2 % int4))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int3
The lion sees the lion.
("lion" "sees" "lion" "+")
int4
((((((triple10 triple12) -> (rule3 % int5)) ((triple2 ((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int4
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int5
((((((triple12 triple11) -> (rule8 % int5)) ((triple2 ((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int4
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int5
((((((triple4 ((triple7) -> (rule2 % int5))) -> (rule3 % int4)) ((triple2 triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int4
The lion sees the lion.
("lion" "sees" "lion" "+")
int5
((((((triple4 ((triple7) -> (rule2 % int6))) -> (rule3 % int5)) ((triple2 ((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int4
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int5
The lion sees the lion.
("lion" "sees" "lion" "+")
int6