The bald eagle needs the lion. The bald eagle visits the cat. The cat is green. The cat needs the bald eagle. The cat visits the bald eagle. The lion chases the bald eagle. The lion chases the cat. The lion is cold. The lion is green. The lion is kind. The lion is rough. The lion is round. The lion needs the bald eagle. The lion needs the cat. The lion visits the bald eagle. The lion visits the cat. If someone visits the bald eagle then the bald eagle needs the cat. If someone needs the bald eagle then the bald eagle chases the cat. If someone needs the bald eagle then the bald eagle needs the lion. If someone needs the bald eagle and they visit the cat then the cat visits the bald eagle. If someone needs the bald eagle and the bald eagle is cold then they chase the bald eagle. If someone visits the bald eagle and the bald eagle chases the cat then the bald eagle is cold.
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat is green.
("cat" "is" "green" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
If someone visits the bald eagle then the bald eagle needs the cat.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "needs" "cat" "+"))
If someone needs the bald eagle then the bald eagle chases the cat.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "chases" "cat" "+"))
If someone needs the bald eagle then the bald eagle needs the lion.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "lion" "+"))
If someone needs the bald eagle and they visit the cat then the cat visits the bald eagle.
((("someone" "needs" "bald eagle" "+") ("someone" "visits" "cat" "+")) -> ("cat" "visits" "bald eagle" "+"))
If someone needs the bald eagle and the bald eagle is cold then they chase the bald eagle.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "is" "cold" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone visits the bald eagle and the bald eagle chases the cat then the bald eagle is cold.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "chases" "cat" "+")) -> ("bald eagle" "is" "cold" "+"))
The lion visits the cat.
True
1
proof
[(triple16)]
("lion" "visits" "cat" "+")
triple16
The lion does not need the cat.
False
1
inv-proof
[(triple14)]
("lion" "needs" "cat" "-")
triple14
The bald eagle chases the cat.
True
2
proof
[(((triple13) -> rule2) OR ((triple4) -> rule2))]
("bald eagle" "chases" "cat" "+")
((triple13) -> (rule2 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
((triple4) -> (rule2 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle does not chase the cat.
False
2
inv-proof
[(((triple13) -> rule2) OR ((triple4) -> rule2))]
("bald eagle" "chases" "cat" "-")
((triple13) -> (rule2 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
((triple4) -> (rule2 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle is cold.
True
4
proof
[(((triple15 ((triple13) -> rule2)) -> rule6) OR ((triple15 ((triple4) -> rule2)) -> rule6) OR ((triple5 ((triple13) -> rule2)) -> rule6) OR ((triple5 ((triple4) -> rule2)) -> rule6) OR ((((triple13 triple16) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((triple13 triple16) -> rule4) ((triple4) -> rule2)) -> rule6))]
("bald eagle" "is" "cold" "+")
((triple15 ((triple13) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
((triple15 ((triple4) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
((triple5 ((triple13) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
((triple5 ((triple4) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
((((triple13 triple16) -> (rule4 % int3)) ((triple13) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int3
((((triple13 triple16) -> (rule4 % int3)) ((triple4) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int3
The bald eagle is not cold.
False
4
inv-proof
[(((triple15 ((triple13) -> rule2)) -> rule6) OR ((triple15 ((triple4) -> rule2)) -> rule6) OR ((triple5 ((triple13) -> rule2)) -> rule6) OR ((triple5 ((triple4) -> rule2)) -> rule6) OR ((((triple13 triple16) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((triple13 triple16) -> rule4) ((triple4) -> rule2)) -> rule6))]
("bald eagle" "is" "cold" "-")
((triple15 ((triple13) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
((triple15 ((triple4) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
((triple5 ((triple13) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
((triple5 ((triple4) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
((((triple13 triple16) -> (rule4 % int3)) ((triple13) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int3
((((triple13 triple16) -> (rule4 % int3)) ((triple4) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int3
The cat chases the bald eagle.
True
6
proof
[(((triple4 ((triple15 ((triple13) -> rule2)) -> rule6)) -> rule5) OR ((triple4 ((triple15 ((triple4) -> rule2)) -> rule6)) -> rule5) OR ((triple4 ((triple5 ((triple13) -> rule2)) -> rule6)) -> rule5) OR ((triple4 ((triple5 ((triple4) -> rule2)) -> rule6)) -> rule5) OR ((triple4 ((((triple13 triple16) -> rule4) ((triple13) -> rule2)) -> rule6)) -> rule5) OR ((triple4 ((((triple13 triple16) -> rule4) ((triple4) -> rule2)) -> rule6)) -> rule5))]
("cat" "chases" "bald eagle" "+")
((triple4 ((triple15 ((triple13) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
((triple4 ((triple15 ((triple4) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
((triple4 ((triple5 ((triple13) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
((triple4 ((triple5 ((triple4) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
((triple4 ((((triple13 triple16) -> (rule4 % int4)) ((triple13) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int4
((triple4 ((((triple13 triple16) -> (rule4 % int4)) ((triple4) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int4
The cat does not chase the bald eagle.
False
6
inv-proof
[(((triple4 ((triple15 ((triple13) -> rule2)) -> rule6)) -> rule5) OR ((triple4 ((triple15 ((triple4) -> rule2)) -> rule6)) -> rule5) OR ((triple4 ((triple5 ((triple13) -> rule2)) -> rule6)) -> rule5) OR ((triple4 ((triple5 ((triple4) -> rule2)) -> rule6)) -> rule5) OR ((triple4 ((((triple13 triple16) -> rule4) ((triple13) -> rule2)) -> rule6)) -> rule5) OR ((triple4 ((((triple13 triple16) -> rule4) ((triple4) -> rule2)) -> rule6)) -> rule5))]
("cat" "chases" "bald eagle" "-")
((triple4 ((triple15 ((triple13) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
((triple4 ((triple15 ((triple4) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
((triple4 ((triple5 ((triple13) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
((triple4 ((triple5 ((triple4) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
((triple4 ((((triple13 triple16) -> (rule4 % int4)) ((triple13) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int4
((triple4 ((((triple13 triple16) -> (rule4 % int4)) ((triple4) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int4
The bald eagle does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The cat needs the lion.
Unknown
random
[@0: The cat needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "lion" "+")
The cat is not round.
Unknown
inv-random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "-")
The cat visits the lion.
Unknown
random
[@0: The cat visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "lion" "+")
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The bald eagle chases the lion.
Unknown
random
[@0: The bald eagle chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "lion" "+")
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 cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The bald eagle needs the lion.[(triple1 OR ((triple13) -> rule3) OR ((triple4) -> rule3))] The bald eagle visits the cat.[(triple2)] The cat is green.[(triple3)] The cat needs the bald eagle.[(triple4)] The cat visits the bald eagle.[(triple5 OR ((triple13 triple16) -> rule4))] The lion chases the bald eagle.[(triple6 OR ((triple13 ((triple15 ((triple13) -> rule2)) -> rule6)) -> rule5) OR ((triple13 ((triple15 ((triple4) -> rule2)) -> rule6)) -> rule5) OR ((triple13 ((triple5 ((triple13) -> rule2)) -> rule6)) -> rule5) OR ((triple13 ((triple5 ((triple4) -> rule2)) -> rule6)) -> rule5) OR ((triple13 ((((triple13 triple16) -> rule4) ((triple13) -> rule2)) -> rule6)) -> rule5) OR ((triple13 ((((triple13 triple16) -> rule4) ((triple4) -> rule2)) -> rule6)) -> rule5))] The lion chases the cat.[(triple7)] The lion is cold.[(triple8)] The lion is green.[(triple9)] The lion is kind.[(triple10)] The lion is rough.[(triple11)] The lion is round.[(triple12)] The lion needs the bald eagle.[(triple13)] The lion needs the cat.[(triple14)] The lion visits the bald eagle.[(triple15)] The lion visits the cat.[(triple16)] @1: The bald eagle chases the cat.[(((triple13) -> rule2) OR ((triple4) -> rule2))] The bald eagle needs the cat.[(((triple15) -> rule1) OR ((triple5) -> rule1) OR ((((triple13 triple16) -> rule4)) -> rule1))] @2: The bald eagle is cold.[(((triple15 ((triple13) -> rule2)) -> rule6) OR ((triple15 ((triple4) -> rule2)) -> rule6) OR ((triple5 ((triple13) -> rule2)) -> rule6) OR ((triple5 ((triple4) -> rule2)) -> rule6) OR ((((triple13 triple16) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((triple13 triple16) -> rule4) ((triple4) -> rule2)) -> rule6))] @3: The cat chases the bald eagle.[(((triple4 ((triple15 ((triple13) -> rule2)) -> rule6)) -> rule5) OR ((triple4 ((triple15 ((triple4) -> rule2)) -> rule6)) -> rule5) OR ((triple4 ((triple5 ((triple13) -> rule2)) -> rule6)) -> rule5) OR ((triple4 ((triple5 ((triple4) -> rule2)) -> rule6)) -> rule5) OR ((triple4 ((((triple13 triple16) -> rule4) ((triple13) -> rule2)) -> rule6)) -> rule5) OR ((triple4 ((((triple13 triple16) -> rule4) ((triple4) -> rule2)) -> rule6)) -> rule5))]
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple1
((triple13) -> (rule3 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
((triple4) -> (rule3 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple4
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple5
((triple13 triple16) -> (rule4 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple6
((triple13 ((triple15 ((triple13) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
((triple13 ((triple15 ((triple4) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
((triple13 ((triple5 ((triple13) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
((triple13 ((triple5 ((triple4) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
((triple13 ((((triple13 triple16) -> (rule4 % int4)) ((triple13) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int4
((triple13 ((((triple13 triple16) -> (rule4 % int4)) ((triple4) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int4
The lion chases the cat.
("lion" "chases" "cat" "+")
triple7
The lion is cold.
("lion" "is" "cold" "+")
triple8
The lion is green.
("lion" "is" "green" "+")
triple9
The lion is kind.
("lion" "is" "kind" "+")
triple10
The lion is rough.
("lion" "is" "rough" "+")
triple11
The lion is round.
("lion" "is" "round" "+")
triple12
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple13
The lion needs the cat.
("lion" "needs" "cat" "+")
triple14
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple15
The lion visits the cat.
("lion" "visits" "cat" "+")
triple16
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
((triple13) -> (rule2 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
((triple4) -> (rule2 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
((triple15) -> (rule1 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
((triple5) -> (rule1 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
((((triple13 triple16) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((triple15 ((triple13) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
((triple15 ((triple4) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
((triple5 ((triple13) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
((triple5 ((triple4) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
((((triple13 triple16) -> (rule4 % int3)) ((triple13) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int3
((((triple13 triple16) -> (rule4 % int3)) ((triple4) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
((triple4 ((triple15 ((triple13) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
((triple4 ((triple15 ((triple4) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
((triple4 ((triple5 ((triple13) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
((triple4 ((triple5 ((triple4) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
((triple4 ((((triple13 triple16) -> (rule4 % int4)) ((triple13) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int4
((triple4 ((((triple13 triple16) -> (rule4 % int4)) ((triple4) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int3
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int4