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