The bald eagle chases the dog. The bald eagle is cold. The bald eagle is green. The bald eagle is red. The bald eagle likes the mouse. The bear is red. The dog is cold. The dog is red. The dog likes the mouse. The dog needs the bald eagle. The mouse is cold. The mouse is green. The mouse is young. The mouse likes the bear. The mouse likes the dog. The mouse needs the bear. If someone likes the dog then they chase the mouse. If someone needs the bear then the bear is rough. If the dog is young then the dog chases the bald eagle. If someone is cold and they chase the bald eagle then they like the dog. If someone likes the mouse and the mouse chases the bear then the bear needs the dog. If someone is cold then they chase the bear. If someone is red and they like the bear then they chase the bald eagle. If the bear needs the dog then the bear likes the dog. If someone needs the dog and the dog likes the mouse then the dog likes the bear.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bear is red.
("bear" "is" "red" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
If someone likes the dog then they chase the mouse.
((("someone" "likes" "dog" "+")) -> ("someone" "chases" "mouse" "+"))
If someone needs the bear then the bear is rough.
((("someone" "needs" "bear" "+")) -> ("bear" "is" "rough" "+"))
If the dog is young then the dog chases the bald eagle.
((("dog" "is" "young" "+")) -> ("dog" "chases" "bald eagle" "+"))
If someone is cold and they chase the bald eagle then they like the dog.
((("someone" "is" "cold" "+") ("someone" "chases" "bald eagle" "+")) -> ("someone" "likes" "dog" "+"))
If someone likes the mouse and the mouse chases the bear then the bear needs the dog.
((("someone" "likes" "mouse" "+") ("mouse" "chases" "bear" "+")) -> ("bear" "needs" "dog" "+"))
If someone is cold then they chase the bear.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "bear" "+"))
If someone is red and they like the bear then they chase the bald eagle.
((("someone" "is" "red" "+") ("someone" "likes" "bear" "+")) -> ("someone" "chases" "bald eagle" "+"))
If the bear needs the dog then the bear likes the dog.
((("bear" "needs" "dog" "+")) -> ("bear" "likes" "dog" "+"))
If someone needs the dog and the dog likes the mouse then the dog likes the bear.
((("someone" "needs" "dog" "+") ("dog" "likes" "mouse" "+")) -> ("dog" "likes" "bear" "+"))
The dog needs the bald eagle.
True
1
proof
[(triple10)]
("dog" "needs" "bald eagle" "+")
triple10
The mouse is not cold.
False
1
inv-proof
[(triple11)]
("mouse" "is" "cold" "-")
triple11
The bear is rough.
True
2
proof
[(((triple16) -> rule2))]
("bear" "is" "rough" "+")
((triple16) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is not rough.
False
2
inv-proof
[(((triple16) -> rule2))]
("bear" "is" "rough" "-")
((triple16) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear needs the dog.
True
4
proof
[(((triple5 ((triple11) -> rule6)) -> rule5) OR ((triple9 ((triple11) -> rule6)) -> rule5))]
("bear" "needs" "dog" "+")
((triple5 ((triple11) -> (rule6 % int2))) -> (rule5 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2
((triple9 ((triple11) -> (rule6 % int2))) -> (rule5 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2
The bear does not need the dog.
False
4
inv-proof
[(((triple5 ((triple11) -> rule6)) -> rule5) OR ((triple9 ((triple11) -> rule6)) -> rule5))]
("bear" "needs" "dog" "-")
((triple5 ((triple11) -> (rule6 % int2))) -> (rule5 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2
((triple9 ((triple11) -> (rule6 % int2))) -> (rule5 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2
The bear likes the dog.
True
5
proof
[(((((triple5 ((triple11) -> rule6)) -> rule5)) -> rule8) OR ((((triple9 ((triple11) -> rule6)) -> rule5)) -> rule8))]
("bear" "likes" "dog" "+")
((((triple5 ((triple11) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
((((triple9 ((triple11) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
The dog does not like the bear.
False
6
inv-proof
[(((((triple5 ((triple11) -> rule6)) -> rule5) triple9) -> rule9) OR ((((triple9 ((triple11) -> rule6)) -> rule5) triple9) -> rule9))]
("dog" "likes" "bear" "-")
((((triple5 ((triple11) -> (rule6 % int3))) -> (rule5 % int2)) triple9) -> (rule9 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
((((triple9 ((triple11) -> (rule6 % int3))) -> (rule5 % int2)) triple9) -> (rule9 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
The bear chases the mouse.
True
6
proof
[(((((((triple5 ((triple11) -> rule6)) -> rule5)) -> rule8)) -> rule1) OR ((((((triple9 ((triple11) -> rule6)) -> rule5)) -> rule8)) -> rule1))]
("bear" "chases" "mouse" "+")
((((((triple5 ((triple11) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
((((((triple9 ((triple11) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
The bear does not chase the mouse.
False
6
inv-proof
[(((((((triple5 ((triple11) -> rule6)) -> rule5)) -> rule8)) -> rule1) OR ((((((triple9 ((triple11) -> rule6)) -> rule5)) -> rule8)) -> rule1))]
("bear" "chases" "mouse" "-")
((((((triple5 ((triple11) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
((((((triple9 ((triple11) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
The dog likes the dog.
True
10
proof
[(((triple7 ((triple8 ((((triple5 ((triple11) -> rule6)) -> rule5) triple9) -> rule9)) -> rule7)) -> rule4) OR ((triple7 ((triple8 ((((triple9 ((triple11) -> rule6)) -> rule5) triple9) -> rule9)) -> rule7)) -> rule4))]
("dog" "likes" "dog" "+")
((triple7 ((triple8 ((((triple5 ((triple11) -> (rule6 % int5))) -> (rule5 % int4)) triple9) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The bear needs the dog.
("bear" "needs" "dog" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
((triple7 ((triple8 ((((triple9 ((triple11) -> (rule6 % int5))) -> (rule5 % int4)) triple9) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The bear needs the dog.
("bear" "needs" "dog" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The dog does not like the dog.
False
10
inv-proof
[(((triple7 ((triple8 ((((triple5 ((triple11) -> rule6)) -> rule5) triple9) -> rule9)) -> rule7)) -> rule4) OR ((triple7 ((triple8 ((((triple9 ((triple11) -> rule6)) -> rule5) triple9) -> rule9)) -> rule7)) -> rule4))]
("dog" "likes" "dog" "-")
((triple7 ((triple8 ((((triple5 ((triple11) -> (rule6 % int5))) -> (rule5 % int4)) triple9) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The bear needs the dog.
("bear" "needs" "dog" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
((triple7 ((triple8 ((((triple9 ((triple11) -> (rule6 % int5))) -> (rule5 % int4)) triple9) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The bear needs the dog.
("bear" "needs" "dog" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse does not chase the bald eagle.
Unknown
inv-rconc
[@1: The mouse chases the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "chases" "bald eagle" "-")
The bear chases the bear.
Unknown
rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "chases" "bear" "+")
The bear does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bear chases the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "chases" "bald eagle" "-")
The bald eagle chases the bald eagle.
Unknown
rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The bald eagle does not like the dog.
Unknown
inv-rconc
[@2: The bald eagle likes the dog.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("bald eagle" "likes" "dog" "-")
The bald eagle chases the mouse.
Unknown
rconc
[@3: The bald eagle chases the mouse.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule7 <- FAIL)]]
("bald eagle" "chases" "mouse" "+")
The bear does not need the bald eagle.
Unknown
inv-random
[@0: The bear needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bald eagle" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
The dog does not need the bear.
Unknown
inv-random
[@0: The dog needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bear" "-")
The mouse is red.
Unknown
random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle likes the mouse.[(triple5)] The bear is red.[(triple6)] The dog is cold.[(triple7)] The dog is red.[(triple8)] The dog likes the mouse.[(triple9)] The dog needs the bald eagle.[(triple10)] The mouse is cold.[(triple11)] The mouse is green.[(triple12)] The mouse is young.[(triple13)] The mouse likes the bear.[(triple14)] The mouse likes the dog.[(triple15)] The mouse needs the bear.[(triple16)] @1: The bald eagle chases the bear.[(((triple2) -> rule6))] The bear is rough.[(((triple16) -> rule2))] The dog chases the bear.[(((triple7) -> rule6))] The mouse chases the bear.[(((triple11) -> rule6))] The mouse chases the mouse.[(((triple15) -> rule1))] @2: The bear needs the dog.[(((triple5 ((triple11) -> rule6)) -> rule5) OR ((triple9 ((triple11) -> rule6)) -> rule5))] @3: The bear likes the dog.[(((((triple5 ((triple11) -> rule6)) -> rule5)) -> rule8) OR ((((triple9 ((triple11) -> rule6)) -> rule5)) -> rule8))] The dog likes the bear.[(((((triple5 ((triple11) -> rule6)) -> rule5) triple9) -> rule9) OR ((((triple9 ((triple11) -> rule6)) -> rule5) triple9) -> rule9))] @4: The bear chases the mouse.[(((((((triple5 ((triple11) -> rule6)) -> rule5)) -> rule8)) -> rule1) OR ((((((triple9 ((triple11) -> rule6)) -> rule5)) -> rule8)) -> rule1))] The dog chases the bald eagle.[(((triple8 ((((triple5 ((triple11) -> rule6)) -> rule5) triple9) -> rule9)) -> rule7) OR ((triple8 ((((triple9 ((triple11) -> rule6)) -> rule5) triple9) -> rule9)) -> rule7))] @5: The dog likes the dog.[(((triple7 ((triple8 ((((triple5 ((triple11) -> rule6)) -> rule5) triple9) -> rule9)) -> rule7)) -> rule4) OR ((triple7 ((triple8 ((((triple9 ((triple11) -> rule6)) -> rule5) triple9) -> rule9)) -> rule7)) -> rule4))] @6: The dog chases the mouse.[(((((triple7 ((triple8 ((((triple5 ((triple11) -> rule6)) -> rule5) triple9) -> rule9)) -> rule7)) -> rule4)) -> rule1) OR ((((triple7 ((triple8 ((((triple9 ((triple11) -> rule6)) -> rule5) triple9) -> rule9)) -> rule7)) -> rule4)) -> rule1))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple5
The bear is red.
("bear" "is" "red" "+")
triple6
The dog is cold.
("dog" "is" "cold" "+")
triple7
The dog is red.
("dog" "is" "red" "+")
triple8
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple9
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple10
The mouse is cold.
("mouse" "is" "cold" "+")
triple11
The mouse is green.
("mouse" "is" "green" "+")
triple12
The mouse is young.
("mouse" "is" "young" "+")
triple13
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple14
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple15
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple16
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
((triple2) -> (rule6 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
((triple16) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
((triple7) -> (rule6 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
((triple11) -> (rule6 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple15) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
((triple5 ((triple11) -> (rule6 % int2))) -> (rule5 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2
((triple9 ((triple11) -> (rule6 % int2))) -> (rule5 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2
The bear likes the dog.
("bear" "likes" "dog" "+")
((((triple5 ((triple11) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
((((triple9 ((triple11) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
((((triple5 ((triple11) -> (rule6 % int3))) -> (rule5 % int2)) triple9) -> (rule9 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
((((triple9 ((triple11) -> (rule6 % int3))) -> (rule5 % int2)) triple9) -> (rule9 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
The bear chases the mouse.
("bear" "chases" "mouse" "+")
((((((triple5 ((triple11) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
((((((triple9 ((triple11) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
((triple8 ((((triple5 ((triple11) -> (rule6 % int4))) -> (rule5 % int3)) triple9) -> (rule9 % int2))) -> (rule7 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
((triple8 ((((triple9 ((triple11) -> (rule6 % int4))) -> (rule5 % int3)) triple9) -> (rule9 % int2))) -> (rule7 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple7 ((triple8 ((((triple5 ((triple11) -> (rule6 % int5))) -> (rule5 % int4)) triple9) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The bear needs the dog.
("bear" "needs" "dog" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
((triple7 ((triple8 ((((triple9 ((triple11) -> (rule6 % int5))) -> (rule5 % int4)) triple9) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The bear needs the dog.
("bear" "needs" "dog" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The dog chases the mouse.
("dog" "chases" "mouse" "+")
((((triple7 ((triple8 ((((triple5 ((triple11) -> (rule6 % int6))) -> (rule5 % int5)) triple9) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The bear needs the dog.
("bear" "needs" "dog" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((triple7 ((triple8 ((((triple9 ((triple11) -> (rule6 % int6))) -> (rule5 % int5)) triple9) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The bear needs the dog.
("bear" "needs" "dog" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6