The bald eagle eats the cat. The bald eagle is kind. The bald eagle needs the cat. The bald eagle visits the squirrel. The cat is big. The cat is cold. The cat visits the squirrel. The cat visits the tiger. The squirrel eats the bald eagle. The squirrel eats the cat. The squirrel needs the bald eagle. The squirrel needs the cat. The squirrel visits the bald eagle. The squirrel visits the tiger. The tiger eats the squirrel. The tiger needs the squirrel. If someone needs the cat then the cat visits the squirrel. If someone is cold and they eat the tiger then the tiger visits the cat. If the cat visits the bald eagle then the cat needs the bald eagle. If someone visits the cat and the cat is cold then they eat the tiger. If someone eats the cat and the cat visits the tiger then the cat visits the bald eagle. If someone visits the tiger then the tiger needs the bald eagle. If the bald eagle visits the squirrel and the squirrel needs the bald eagle then the bald eagle needs the cat. If someone visits the bald eagle and the bald eagle eats the cat then they visit the cat. If someone is young and cold then they need the tiger.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone needs the cat then the cat visits the squirrel.
((("someone" "needs" "cat" "+")) -> ("cat" "visits" "squirrel" "+"))
If someone is cold and they eat the tiger then the tiger visits the cat.
((("someone" "is" "cold" "+") ("someone" "eats" "tiger" "+")) -> ("tiger" "visits" "cat" "+"))
If the cat visits the bald eagle then the cat needs the bald eagle.
((("cat" "visits" "bald eagle" "+")) -> ("cat" "needs" "bald eagle" "+"))
If someone visits the cat and the cat is cold then they eat the tiger.
((("someone" "visits" "cat" "+") ("cat" "is" "cold" "+")) -> ("someone" "eats" "tiger" "+"))
If someone eats the cat and the cat visits the tiger then the cat visits the bald eagle.
((("someone" "eats" "cat" "+") ("cat" "visits" "tiger" "+")) -> ("cat" "visits" "bald eagle" "+"))
If someone visits the tiger then the tiger needs the bald eagle.
((("someone" "visits" "tiger" "+")) -> ("tiger" "needs" "bald eagle" "+"))
If the bald eagle visits the squirrel and the squirrel needs the bald eagle then the bald eagle needs the cat.
((("bald eagle" "visits" "squirrel" "+") ("squirrel" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "cat" "+"))
If someone visits the bald eagle and the bald eagle eats the cat then they visit the cat.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "eats" "cat" "+")) -> ("someone" "visits" "cat" "+"))
If someone is young and cold then they need the tiger.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "needs" "tiger" "+"))
The squirrel visits the tiger.
True
1
proof
[(triple14)]
("squirrel" "visits" "tiger" "+")
triple14
The cat is not big.
False
1
inv-proof
[(triple5)]
("cat" "is" "big" "-")
triple5
The tiger needs the bald eagle.
True
2
proof
[(((triple14) -> rule6) OR ((triple8) -> rule6))]
("tiger" "needs" "bald eagle" "+")
((triple14) -> (rule6 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
((triple8) -> (rule6 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The cat does not visit the bald eagle.
False
3
inv-proof
[(((triple1 triple8) -> rule5) OR ((triple10 triple8) -> rule5))]
("cat" "visits" "bald eagle" "-")
((triple1 triple8) -> (rule5 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
((triple10 triple8) -> (rule5 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The squirrel eats the tiger.
True
5
proof
[(((((triple13 triple1) -> rule8) triple6) -> rule4))]
("squirrel" "eats" "tiger" "+")
((((triple13 triple1) -> (rule8 % int2)) triple6) -> (rule4 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int2
The cat does not need the bald eagle.
False
4
inv-proof
[(((((triple1 triple8) -> rule5)) -> rule3) OR ((((triple10 triple8) -> rule5)) -> rule3))]
("cat" "needs" "bald eagle" "-")
((((triple1 triple8) -> (rule5 % int2))) -> (rule3 % int1))
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
((((triple10 triple8) -> (rule5 % int2))) -> (rule3 % int1))
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The cat eats the tiger.
True
7
proof
[(((((((triple1 triple8) -> rule5) triple1) -> rule8) triple6) -> rule4) OR ((((((triple10 triple8) -> rule5) triple1) -> rule8) triple6) -> rule4))]
("cat" "eats" "tiger" "+")
((((((triple1 triple8) -> (rule5 % int3)) triple1) -> (rule8 % int2)) triple6) -> (rule4 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int3
((((((triple10 triple8) -> (rule5 % int3)) triple1) -> (rule8 % int2)) triple6) -> (rule4 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int3
The cat does not eat the tiger.
False
7
inv-proof
[(((((((triple1 triple8) -> rule5) triple1) -> rule8) triple6) -> rule4) OR ((((((triple10 triple8) -> rule5) triple1) -> rule8) triple6) -> rule4))]
("cat" "eats" "tiger" "-")
((((((triple1 triple8) -> (rule5 % int3)) triple1) -> (rule8 % int2)) triple6) -> (rule4 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int3
((((((triple10 triple8) -> (rule5 % int3)) triple1) -> (rule8 % int2)) triple6) -> (rule4 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int3
The tiger visits the cat.
True
9
proof
[(((triple6 ((((((triple1 triple8) -> rule5) triple1) -> rule8) triple6) -> rule4)) -> rule2) OR ((triple6 ((((((triple10 triple8) -> rule5) triple1) -> rule8) triple6) -> rule4)) -> rule2))]
("tiger" "visits" "cat" "+")
((triple6 ((((((triple1 triple8) -> (rule5 % int4)) triple1) -> (rule8 % int3)) triple6) -> (rule4 % int2))) -> (rule2 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int2
The cat visits the cat.
("cat" "visits" "cat" "+")
int3
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int4
((triple6 ((((((triple10 triple8) -> (rule5 % int4)) triple1) -> (rule8 % int3)) triple6) -> (rule4 % int2))) -> (rule2 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int2
The cat visits the cat.
("cat" "visits" "cat" "+")
int3
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int4
The tiger does not visit the cat.
False
9
inv-proof
[(((triple6 ((((((triple1 triple8) -> rule5) triple1) -> rule8) triple6) -> rule4)) -> rule2) OR ((triple6 ((((((triple10 triple8) -> rule5) triple1) -> rule8) triple6) -> rule4)) -> rule2))]
("tiger" "visits" "cat" "-")
((triple6 ((((((triple1 triple8) -> (rule5 % int4)) triple1) -> (rule8 % int3)) triple6) -> (rule4 % int2))) -> (rule2 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int2
The cat visits the cat.
("cat" "visits" "cat" "+")
int3
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int4
((triple6 ((((((triple10 triple8) -> (rule5 % int4)) triple1) -> (rule8 % int3)) triple6) -> (rule4 % int2))) -> (rule2 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int2
The cat visits the cat.
("cat" "visits" "cat" "+")
int3
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int4
The tiger eats the tiger.
True
11
proof
[(((((triple6 ((((((triple1 triple8) -> rule5) triple1) -> rule8) triple6) -> rule4)) -> rule2) triple6) -> rule4) OR ((((triple6 ((((((triple10 triple8) -> rule5) triple1) -> rule8) triple6) -> rule4)) -> rule2) triple6) -> rule4))]
("tiger" "eats" "tiger" "+")
((((triple6 ((((((triple1 triple8) -> (rule5 % int5)) triple1) -> (rule8 % int4)) triple6) -> (rule4 % int3))) -> (rule2 % int2)) triple6) -> (rule4 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int2
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int3
The cat visits the cat.
("cat" "visits" "cat" "+")
int4
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int5
((((triple6 ((((((triple10 triple8) -> (rule5 % int5)) triple1) -> (rule8 % int4)) triple6) -> (rule4 % int3))) -> (rule2 % int2)) triple6) -> (rule4 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int2
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int3
The cat visits the cat.
("cat" "visits" "cat" "+")
int4
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int5
The tiger does not eat the tiger.
False
11
inv-proof
[(((((triple6 ((((((triple1 triple8) -> rule5) triple1) -> rule8) triple6) -> rule4)) -> rule2) triple6) -> rule4) OR ((((triple6 ((((((triple10 triple8) -> rule5) triple1) -> rule8) triple6) -> rule4)) -> rule2) triple6) -> rule4))]
("tiger" "eats" "tiger" "-")
((((triple6 ((((((triple1 triple8) -> (rule5 % int5)) triple1) -> (rule8 % int4)) triple6) -> (rule4 % int3))) -> (rule2 % int2)) triple6) -> (rule4 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int2
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int3
The cat visits the cat.
("cat" "visits" "cat" "+")
int4
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int5
((((triple6 ((((((triple10 triple8) -> (rule5 % int5)) triple1) -> (rule8 % int4)) triple6) -> (rule4 % int3))) -> (rule2 % int2)) triple6) -> (rule4 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int2
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int3
The cat visits the cat.
("cat" "visits" "cat" "+")
int4
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int5
The bald eagle does not eat the tiger.
Unknown
inv-rconc
[@2: The bald eagle eats the tiger.[CWA. Example of deepest failure = (rule4 <- rule8 <- FAIL)]]
("bald eagle" "eats" "tiger" "-")
The cat needs the tiger.
Unknown
rconc
[@1: The cat needs the tiger.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("cat" "needs" "tiger" "+")
The bald eagle does not need the tiger.
Unknown
inv-rconc
[@1: The bald eagle needs the tiger.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("bald eagle" "needs" "tiger" "-")
The squirrel needs the tiger.
Unknown
rconc
[@1: The squirrel needs the tiger.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("squirrel" "needs" "tiger" "+")
The bald eagle does not visit the cat.
Unknown
inv-rconc
[@1: The bald eagle visits the cat.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "visits" "cat" "-")
The tiger needs the tiger.
Unknown
rconc
[@1: The tiger needs the tiger.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("tiger" "needs" "tiger" "+")
The squirrel is not blue.
Unknown
inv-random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
The cat does not eat the bald eagle.
Unknown
inv-random
[@0: The cat eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "bald eagle" "-")
The tiger eats the cat.
Unknown
random
[@0: The tiger eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "cat" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The cat is kind.
Unknown
random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle needs the cat.[(triple3 OR ((triple4 triple11) -> rule7))] The bald eagle visits the squirrel.[(triple4)] The cat is big.[(triple5)] The cat is cold.[(triple6)] The cat visits the squirrel.[(triple7 OR ((triple12) -> rule1) OR ((triple3) -> rule1) OR ((((triple4 triple11) -> rule7)) -> rule1))] The cat visits the tiger.[(triple8)] The squirrel eats the bald eagle.[(triple9)] The squirrel eats the cat.[(triple10)] The squirrel needs the bald eagle.[(triple11)] The squirrel needs the cat.[(triple12)] The squirrel visits the bald eagle.[(triple13)] The squirrel visits the tiger.[(triple14)] The tiger eats the squirrel.[(triple15)] The tiger needs the squirrel.[(triple16)] @1: The cat visits the bald eagle.[(((triple1 triple8) -> rule5) OR ((triple10 triple8) -> rule5))] The squirrel visits the cat.[(((triple13 triple1) -> rule8))] The tiger needs the bald eagle.[(((triple14) -> rule6) OR ((triple8) -> rule6))] @2: The cat needs the bald eagle.[(((((triple1 triple8) -> rule5)) -> rule3) OR ((((triple10 triple8) -> rule5)) -> rule3))] The cat visits the cat.[(((((triple1 triple8) -> rule5) triple1) -> rule8) OR ((((triple10 triple8) -> rule5) triple1) -> rule8))] The squirrel eats the tiger.[(((((triple13 triple1) -> rule8) triple6) -> rule4))] @3: The cat eats the tiger.[(((((((triple1 triple8) -> rule5) triple1) -> rule8) triple6) -> rule4) OR ((((((triple10 triple8) -> rule5) triple1) -> rule8) triple6) -> rule4))] @4: The tiger visits the cat.[(((triple6 ((((((triple1 triple8) -> rule5) triple1) -> rule8) triple6) -> rule4)) -> rule2) OR ((triple6 ((((((triple10 triple8) -> rule5) triple1) -> rule8) triple6) -> rule4)) -> rule2))] @5: The tiger eats the tiger.[(((((triple6 ((((((triple1 triple8) -> rule5) triple1) -> rule8) triple6) -> rule4)) -> rule2) triple6) -> rule4) OR ((((triple6 ((((((triple10 triple8) -> rule5) triple1) -> rule8) triple6) -> rule4)) -> rule2) triple6) -> rule4))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple3
((triple4 triple11) -> (rule7 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple4
The cat is big.
("cat" "is" "big" "+")
triple5
The cat is cold.
("cat" "is" "cold" "+")
triple6
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple7
((triple12) -> (rule1 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
((triple3) -> (rule1 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
((((triple4 triple11) -> (rule7 % int2))) -> (rule1 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int2
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple8
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple9
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple10
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple11
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple12
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple13
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple14
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple15
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple16
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
((triple1 triple8) -> (rule5 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
((triple10 triple8) -> (rule5 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
((triple13 triple1) -> (rule8 % int1))
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
((triple14) -> (rule6 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
((triple8) -> (rule6 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
((((triple1 triple8) -> (rule5 % int2))) -> (rule3 % int1))
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
((((triple10 triple8) -> (rule5 % int2))) -> (rule3 % int1))
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The cat visits the cat.
("cat" "visits" "cat" "+")
((((triple1 triple8) -> (rule5 % int2)) triple1) -> (rule8 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
((((triple10 triple8) -> (rule5 % int2)) triple1) -> (rule8 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
((((triple13 triple1) -> (rule8 % int2)) triple6) -> (rule4 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int2
The cat eats the tiger.
("cat" "eats" "tiger" "+")
((((((triple1 triple8) -> (rule5 % int3)) triple1) -> (rule8 % int2)) triple6) -> (rule4 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int3
((((((triple10 triple8) -> (rule5 % int3)) triple1) -> (rule8 % int2)) triple6) -> (rule4 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int3
The tiger visits the cat.
("tiger" "visits" "cat" "+")
((triple6 ((((((triple1 triple8) -> (rule5 % int4)) triple1) -> (rule8 % int3)) triple6) -> (rule4 % int2))) -> (rule2 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int2
The cat visits the cat.
("cat" "visits" "cat" "+")
int3
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int4
((triple6 ((((((triple10 triple8) -> (rule5 % int4)) triple1) -> (rule8 % int3)) triple6) -> (rule4 % int2))) -> (rule2 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int2
The cat visits the cat.
("cat" "visits" "cat" "+")
int3
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int4
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((((triple6 ((((((triple1 triple8) -> (rule5 % int5)) triple1) -> (rule8 % int4)) triple6) -> (rule4 % int3))) -> (rule2 % int2)) triple6) -> (rule4 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int2
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int3
The cat visits the cat.
("cat" "visits" "cat" "+")
int4
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int5
((((triple6 ((((((triple10 triple8) -> (rule5 % int5)) triple1) -> (rule8 % int4)) triple6) -> (rule4 % int3))) -> (rule2 % int2)) triple6) -> (rule4 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int2
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int3
The cat visits the cat.
("cat" "visits" "cat" "+")
int4
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int5