The bald eagle is red. The bald eagle is rough. The bald eagle needs the rabbit. The cat needs the bald eagle. The cat sees the mouse. The cat visits the bald eagle. The cat visits the mouse. The cat visits the rabbit. The mouse is rough. The mouse needs the cat. The rabbit needs the bald eagle. The rabbit needs the cat. The rabbit sees the mouse. The rabbit visits the bald eagle. If something needs the mouse and it is kind then the mouse sees the cat. If something is kind and it visits the rabbit then the rabbit visits the mouse. If something is kind then it needs the cat. If something sees the cat then the cat needs the mouse. If something needs the cat and the cat sees the rabbit then the rabbit sees the cat. If something needs the mouse then it is big. If something needs the cat then the cat is red. If something is red and it sees the mouse then it sees the rabbit. If something visits the mouse and it is blue then it visits the rabbit.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If something needs the mouse and it is kind then the mouse sees the cat.
((("something" "needs" "mouse" "+") ("something" "is" "kind" "+")) -> ("mouse" "sees" "cat" "+"))
If something is kind and it visits the rabbit then the rabbit visits the mouse.
((("something" "is" "kind" "+") ("something" "visits" "rabbit" "+")) -> ("rabbit" "visits" "mouse" "+"))
If something is kind then it needs the cat.
((("something" "is" "kind" "+")) -> ("something" "needs" "cat" "+"))
If something sees the cat then the cat needs the mouse.
((("something" "sees" "cat" "+")) -> ("cat" "needs" "mouse" "+"))
If something needs the cat and the cat sees the rabbit then the rabbit sees the cat.
((("something" "needs" "cat" "+") ("cat" "sees" "rabbit" "+")) -> ("rabbit" "sees" "cat" "+"))
If something needs the mouse then it is big.
((("something" "needs" "mouse" "+")) -> ("something" "is" "big" "+"))
If something needs the cat then the cat is red.
((("something" "needs" "cat" "+")) -> ("cat" "is" "red" "+"))
If something is red and it sees the mouse then it sees the rabbit.
((("something" "is" "red" "+") ("something" "sees" "mouse" "+")) -> ("something" "sees" "rabbit" "+"))
If something visits the mouse and it is blue then it visits the rabbit.
((("something" "visits" "mouse" "+") ("something" "is" "blue" "+")) -> ("something" "visits" "rabbit" "+"))
The cat sees the mouse.
True
1
proof
[(triple5)]
("cat" "sees" "mouse" "+")
triple5
The rabbit does not need the cat.
False
1
inv-proof
[(triple12)]
("rabbit" "needs" "cat" "-")
triple12
The cat is red.
True
2
proof
[(((triple10) -> rule7) OR ((triple12) -> rule7))]
("cat" "is" "red" "+")
((triple10) -> (rule7 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
((triple12) -> (rule7 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is not red.
False
2
inv-proof
[(((triple10) -> rule7) OR ((triple12) -> rule7))]
("cat" "is" "red" "-")
((triple10) -> (rule7 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
((triple12) -> (rule7 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat sees the rabbit.
True
4
proof
[(((((triple10) -> rule7) triple5) -> rule8) OR ((((triple12) -> rule7) triple5) -> rule8))]
("cat" "sees" "rabbit" "+")
((((triple10) -> (rule7 % int2)) triple5) -> (rule8 % int1))
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
((((triple12) -> (rule7 % int2)) triple5) -> (rule8 % int1))
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat does not see the rabbit.
False
4
inv-proof
[(((((triple10) -> rule7) triple5) -> rule8) OR ((((triple12) -> rule7) triple5) -> rule8))]
("cat" "sees" "rabbit" "-")
((((triple10) -> (rule7 % int2)) triple5) -> (rule8 % int1))
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
((((triple12) -> (rule7 % int2)) triple5) -> (rule8 % int1))
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The rabbit sees the cat.
True
6
proof
[(((triple10 ((((triple10) -> rule7) triple5) -> rule8)) -> rule5) OR ((triple10 ((((triple12) -> rule7) triple5) -> rule8)) -> rule5) OR ((triple12 ((((triple10) -> rule7) triple5) -> rule8)) -> rule5) OR ((triple12 ((((triple12) -> rule7) triple5) -> rule8)) -> rule5))]
("rabbit" "sees" "cat" "+")
((triple10 ((((triple10) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
((triple10 ((((triple12) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
((triple12 ((((triple10) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
((triple12 ((((triple12) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The rabbit does not see the cat.
False
6
inv-proof
[(((triple10 ((((triple10) -> rule7) triple5) -> rule8)) -> rule5) OR ((triple10 ((((triple12) -> rule7) triple5) -> rule8)) -> rule5) OR ((triple12 ((((triple10) -> rule7) triple5) -> rule8)) -> rule5) OR ((triple12 ((((triple12) -> rule7) triple5) -> rule8)) -> rule5))]
("rabbit" "sees" "cat" "-")
((triple10 ((((triple10) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
((triple10 ((((triple12) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
((triple12 ((((triple10) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
((triple12 ((((triple12) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The cat needs the mouse.
True
7
proof
[(((((triple10 ((((triple10) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4) OR ((((triple10 ((((triple12) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4) OR ((((triple12 ((((triple10) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4) OR ((((triple12 ((((triple12) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4))]
("cat" "needs" "mouse" "+")
((((triple10 ((((triple10) -> (rule7 % int4)) triple5) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
((((triple10 ((((triple12) -> (rule7 % int4)) triple5) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
((((triple12 ((((triple10) -> (rule7 % int4)) triple5) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
((((triple12 ((((triple12) -> (rule7 % int4)) triple5) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The cat does not need the mouse.
False
7
inv-proof
[(((((triple10 ((((triple10) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4) OR ((((triple10 ((((triple12) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4) OR ((((triple12 ((((triple10) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4) OR ((((triple12 ((((triple12) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4))]
("cat" "needs" "mouse" "-")
((((triple10 ((((triple10) -> (rule7 % int4)) triple5) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
((((triple10 ((((triple12) -> (rule7 % int4)) triple5) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
((((triple12 ((((triple10) -> (rule7 % int4)) triple5) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
((((triple12 ((((triple12) -> (rule7 % int4)) triple5) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The cat is big.
True
8
proof
[(((((((triple10 ((((triple10) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4)) -> rule6) OR ((((((triple10 ((((triple12) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4)) -> rule6) OR ((((((triple12 ((((triple10) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4)) -> rule6) OR ((((((triple12 ((((triple12) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4)) -> rule6))]
("cat" "is" "big" "+")
((((((triple10 ((((triple10) -> (rule7 % int5)) triple5) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
((((((triple10 ((((triple12) -> (rule7 % int5)) triple5) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
((((((triple12 ((((triple10) -> (rule7 % int5)) triple5) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
((((((triple12 ((((triple12) -> (rule7 % int5)) triple5) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
The cat is not big.
False
8
inv-proof
[(((((((triple10 ((((triple10) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4)) -> rule6) OR ((((((triple10 ((((triple12) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4)) -> rule6) OR ((((((triple12 ((((triple10) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4)) -> rule6) OR ((((((triple12 ((((triple12) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4)) -> rule6))]
("cat" "is" "big" "-")
((((((triple10 ((((triple10) -> (rule7 % int5)) triple5) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
((((((triple10 ((((triple12) -> (rule7 % int5)) triple5) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
((((((triple12 ((((triple10) -> (rule7 % int5)) triple5) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
((((((triple12 ((((triple12) -> (rule7 % int5)) triple5) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
The bald eagle is not big.
Unknown
inv-rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "big" "-")
The bald eagle needs the cat.
Unknown
rconc
[@1: The bald eagle needs the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "needs" "cat" "+")
The rabbit is not big.
Unknown
inv-rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "big" "-")
The mouse sees the cat.
Unknown
rconc
[@1: The mouse sees the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "sees" "cat" "+")
The cat does not need the cat.
Unknown
inv-rconc
[@1: The cat needs the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "needs" "cat" "-")
The mouse is big.
Unknown
rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "is" "big" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The rabbit is kind.
Unknown
random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "+")
The rabbit does not see the bald eagle.
Unknown
inv-random
[@0: The rabbit sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "bald eagle" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
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 rabbit needs the mouse.
Unknown
random
[@0: The rabbit needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "mouse" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle needs the rabbit.[(triple3)] The cat needs the bald eagle.[(triple4)] The cat sees the mouse.[(triple5)] The cat visits the bald eagle.[(triple6)] The cat visits the mouse.[(triple7)] The cat visits the rabbit.[(triple8)] The mouse is rough.[(triple9)] The mouse needs the cat.[(triple10)] The rabbit needs the bald eagle.[(triple11)] The rabbit needs the cat.[(triple12)] The rabbit sees the mouse.[(triple13)] The rabbit visits the bald eagle.[(triple14)] @1: The cat is red.[(((triple10) -> rule7) OR ((triple12) -> rule7))] @2: The cat sees the rabbit.[(((((triple10) -> rule7) triple5) -> rule8) OR ((((triple12) -> rule7) triple5) -> rule8))] @3: The rabbit sees the cat.[(((triple10 ((((triple10) -> rule7) triple5) -> rule8)) -> rule5) OR ((triple10 ((((triple12) -> rule7) triple5) -> rule8)) -> rule5) OR ((triple12 ((((triple10) -> rule7) triple5) -> rule8)) -> rule5) OR ((triple12 ((((triple12) -> rule7) triple5) -> rule8)) -> rule5))] @4: The cat needs the mouse.[(((((triple10 ((((triple10) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4) OR ((((triple10 ((((triple12) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4) OR ((((triple12 ((((triple10) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4) OR ((((triple12 ((((triple12) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4))] @5: The cat is big.[(((((((triple10 ((((triple10) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4)) -> rule6) OR ((((((triple10 ((((triple12) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4)) -> rule6) OR ((((((triple12 ((((triple10) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4)) -> rule6) OR ((((((triple12 ((((triple12) -> rule7) triple5) -> rule8)) -> rule5)) -> rule4)) -> rule6))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple3
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple4
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple5
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple6
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple7
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple8
The mouse is rough.
("mouse" "is" "rough" "+")
triple9
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple10
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple11
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple12
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple13
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple14
The cat is red.
("cat" "is" "red" "+")
((triple10) -> (rule7 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
((triple12) -> (rule7 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
((((triple10) -> (rule7 % int2)) triple5) -> (rule8 % int1))
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
((((triple12) -> (rule7 % int2)) triple5) -> (rule8 % int1))
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
((triple10 ((((triple10) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
((triple10 ((((triple12) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
((triple12 ((((triple10) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
((triple12 ((((triple12) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The cat needs the mouse.
("cat" "needs" "mouse" "+")
((((triple10 ((((triple10) -> (rule7 % int4)) triple5) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
((((triple10 ((((triple12) -> (rule7 % int4)) triple5) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
((((triple12 ((((triple10) -> (rule7 % int4)) triple5) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
((((triple12 ((((triple12) -> (rule7 % int4)) triple5) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The cat is big.
("cat" "is" "big" "+")
((((((triple10 ((((triple10) -> (rule7 % int5)) triple5) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
((((((triple10 ((((triple12) -> (rule7 % int5)) triple5) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
((((((triple12 ((((triple10) -> (rule7 % int5)) triple5) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
((((((triple12 ((((triple12) -> (rule7 % int5)) triple5) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5