The bald eagle chases the lion. The bald eagle is rough. The bald eagle visits the dog. The dog is cold. The dog visits the bald eagle. The lion chases the dog. The lion is green. The squirrel chases the dog. The squirrel likes the bald eagle. The squirrel visits the bald eagle. The squirrel visits the dog. If something visits the dog and the dog likes the bald eagle then the bald eagle visits the lion. If something is round and it visits the squirrel then the squirrel is rough. If something visits the lion then it chases the lion. If something visits the squirrel then it is round. If something chases the lion and it visits the lion then it is big. If something visits the dog then the dog visits the squirrel. If something chases the bald eagle and the bald eagle is green then it is round. If something is round then it visits the lion. If the bald eagle likes the squirrel then the bald eagle chases the squirrel.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion is green.
("lion" "is" "green" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If something visits the dog and the dog likes the bald eagle then the bald eagle visits the lion.
((("something" "visits" "dog" "+") ("dog" "likes" "bald eagle" "+")) -> ("bald eagle" "visits" "lion" "+"))
If something is round and it visits the squirrel then the squirrel is rough.
((("something" "is" "round" "+") ("something" "visits" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If something visits the lion then it chases the lion.
((("something" "visits" "lion" "+")) -> ("something" "chases" "lion" "+"))
If something visits the squirrel then it is round.
((("something" "visits" "squirrel" "+")) -> ("something" "is" "round" "+"))
If something chases the lion and it visits the lion then it is big.
((("something" "chases" "lion" "+") ("something" "visits" "lion" "+")) -> ("something" "is" "big" "+"))
If something visits the dog then the dog visits the squirrel.
((("something" "visits" "dog" "+")) -> ("dog" "visits" "squirrel" "+"))
If something chases the bald eagle and the bald eagle is green then it is round.
((("something" "chases" "bald eagle" "+") ("bald eagle" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is round then it visits the lion.
((("something" "is" "round" "+")) -> ("something" "visits" "lion" "+"))
If the bald eagle likes the squirrel then the bald eagle chases the squirrel.
((("bald eagle" "likes" "squirrel" "+")) -> ("bald eagle" "chases" "squirrel" "+"))
The squirrel likes the bald eagle.
True
1
proof
[(triple9)]
("squirrel" "likes" "bald eagle" "+")
triple9
The lion is not green.
False
1
inv-proof
[(triple7)]
("lion" "is" "green" "-")
triple7
The dog visits the squirrel.
True
2
proof
[(((triple11) -> rule6) OR ((triple3) -> rule6))]
("dog" "visits" "squirrel" "+")
((triple11) -> (rule6 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
((triple3) -> (rule6 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The dog does not visit the squirrel.
False
2
inv-proof
[(((triple11) -> rule6) OR ((triple3) -> rule6))]
("dog" "visits" "squirrel" "-")
((triple11) -> (rule6 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
((triple3) -> (rule6 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The dog is round.
True
3
proof
[(((((triple11) -> rule6)) -> rule4) OR ((((triple3) -> rule6)) -> rule4))]
("dog" "is" "round" "+")
((((triple11) -> (rule6 % int2))) -> (rule4 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int2
((((triple3) -> (rule6 % int2))) -> (rule4 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int2
The dog is not round.
False
3
inv-proof
[(((((triple11) -> rule6)) -> rule4) OR ((((triple3) -> rule6)) -> rule4))]
("dog" "is" "round" "-")
((((triple11) -> (rule6 % int2))) -> (rule4 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int2
((((triple3) -> (rule6 % int2))) -> (rule4 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int2
The squirrel is rough.
True
6
proof
[(((((((triple11) -> rule6)) -> rule4) ((triple11) -> rule6)) -> rule2) OR ((((((triple11) -> rule6)) -> rule4) ((triple3) -> rule6)) -> rule2) OR ((((((triple3) -> rule6)) -> rule4) ((triple11) -> rule6)) -> rule2) OR ((((((triple3) -> rule6)) -> rule4) ((triple3) -> rule6)) -> rule2))]
("squirrel" "is" "rough" "+")
((((((triple11) -> (rule6 % int3))) -> (rule4 % int2)) ((triple11) -> (rule6 % int3))) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int3
((((((triple11) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule6 % int3))) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int3
((((((triple3) -> (rule6 % int3))) -> (rule4 % int2)) ((triple11) -> (rule6 % int3))) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int3
((((((triple3) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule6 % int3))) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int3
The dog does not visit the lion.
False
4
inv-proof
[(((((((triple11) -> rule6)) -> rule4)) -> rule8) OR ((((((triple3) -> rule6)) -> rule4)) -> rule8))]
("dog" "visits" "lion" "-")
((((((triple11) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int3
((((((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int3
The dog chases the lion.
True
5
proof
[(((((((((triple11) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((((((triple3) -> rule6)) -> rule4)) -> rule8)) -> rule3))]
("dog" "chases" "lion" "+")
((((((((triple11) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int4
((((((((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int4
The dog does not chase the lion.
False
5
inv-proof
[(((((((((triple11) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((((((triple3) -> rule6)) -> rule4)) -> rule8)) -> rule3))]
("dog" "chases" "lion" "-")
((((((((triple11) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int4
((((((((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int4
The dog is big.
True
10
proof
[(((((((((((triple11) -> rule6)) -> rule4)) -> rule8)) -> rule3) ((((((triple11) -> rule6)) -> rule4)) -> rule8)) -> rule5) OR ((((((((((triple11) -> rule6)) -> rule4)) -> rule8)) -> rule3) ((((((triple3) -> rule6)) -> rule4)) -> rule8)) -> rule5) OR ((((((((((triple3) -> rule6)) -> rule4)) -> rule8)) -> rule3) ((((((triple11) -> rule6)) -> rule4)) -> rule8)) -> rule5) OR ((((((((((triple3) -> rule6)) -> rule4)) -> rule8)) -> rule3) ((((((triple3) -> rule6)) -> rule4)) -> rule8)) -> rule5))]
("dog" "is" "big" "+")
((((((((((triple11) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) ((((((triple11) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int5
((((((((((triple11) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) ((((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int5
((((((((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) ((((((triple11) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int5
((((((((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) ((((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int5
The dog is not big.
False
10
inv-proof
[(((((((((((triple11) -> rule6)) -> rule4)) -> rule8)) -> rule3) ((((((triple11) -> rule6)) -> rule4)) -> rule8)) -> rule5) OR ((((((((((triple11) -> rule6)) -> rule4)) -> rule8)) -> rule3) ((((((triple3) -> rule6)) -> rule4)) -> rule8)) -> rule5) OR ((((((((((triple3) -> rule6)) -> rule4)) -> rule8)) -> rule3) ((((((triple11) -> rule6)) -> rule4)) -> rule8)) -> rule5) OR ((((((((((triple3) -> rule6)) -> rule4)) -> rule8)) -> rule3) ((((((triple3) -> rule6)) -> rule4)) -> rule8)) -> rule5))]
("dog" "is" "big" "-")
((((((((((triple11) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) ((((((triple11) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int5
((((((((((triple11) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) ((((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int5
((((((((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) ((((((triple11) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int5
((((((((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) ((((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int5
The squirrel is not big.
Unknown
inv-rconc
[@3: The squirrel is big.[CWA. Example of deepest failure = (rule5 <- rule8 <- rule4 <- FAIL)]]
("squirrel" "is" "big" "-")
The bald eagle chases the squirrel.
Unknown
rconc
[@1: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("bald eagle" "chases" "squirrel" "+")
The bald eagle is not big.
Unknown
inv-rconc
[@3: The bald eagle is big.[CWA. Example of deepest failure = (rule5 <- rule8 <- rule4 <- FAIL)]]
("bald eagle" "is" "big" "-")
The squirrel chases the lion.
Unknown
rconc
[@3: The squirrel chases the lion.[CWA. Example of deepest failure = (rule3 <- rule8 <- rule4 <- FAIL)]]
("squirrel" "chases" "lion" "+")
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "round" "-")
The bald eagle visits the lion.
Unknown
rconc
[@2: The bald eagle visits the lion.[CWA. Example of deepest failure = (rule8 <- rule4 <- FAIL)]]
("bald eagle" "visits" "lion" "+")
The bald eagle is not green.
Unknown
inv-random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "-")
The bald eagle likes the dog.
Unknown
random
[@0: The bald eagle likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "dog" "+")
The bald eagle does not chase the dog.
Unknown
inv-random
[@0: The bald eagle chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "dog" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
The bald eagle does not like the squirrel.
Unknown
inv-random
[@0: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "squirrel" "-")
The lion visits the squirrel.
Unknown
random
[@0: The lion visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "squirrel" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle visits the dog.[(triple3)] The dog is cold.[(triple4)] The dog visits the bald eagle.[(triple5)] The lion chases the dog.[(triple6)] The lion is green.[(triple7)] The squirrel chases the dog.[(triple8)] The squirrel likes the bald eagle.[(triple9)] The squirrel visits the bald eagle.[(triple10)] The squirrel visits the dog.[(triple11)] @1: The dog visits the squirrel.[(((triple11) -> rule6) OR ((triple3) -> rule6))] @2: The dog is round.[(((((triple11) -> rule6)) -> rule4) OR ((((triple3) -> rule6)) -> rule4))] @3: The dog visits the lion.[(((((((triple11) -> rule6)) -> rule4)) -> rule8) OR ((((((triple3) -> rule6)) -> rule4)) -> rule8))] The squirrel is rough.[(((((((triple11) -> rule6)) -> rule4) ((triple11) -> rule6)) -> rule2) OR ((((((triple11) -> rule6)) -> rule4) ((triple3) -> rule6)) -> rule2) OR ((((((triple3) -> rule6)) -> rule4) ((triple11) -> rule6)) -> rule2) OR ((((((triple3) -> rule6)) -> rule4) ((triple3) -> rule6)) -> rule2))] @4: The dog chases the lion.[(((((((((triple11) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((((((triple3) -> rule6)) -> rule4)) -> rule8)) -> rule3))] @5: The dog is big.[(((((((((((triple11) -> rule6)) -> rule4)) -> rule8)) -> rule3) ((((((triple11) -> rule6)) -> rule4)) -> rule8)) -> rule5) OR ((((((((((triple11) -> rule6)) -> rule4)) -> rule8)) -> rule3) ((((((triple3) -> rule6)) -> rule4)) -> rule8)) -> rule5) OR ((((((((((triple3) -> rule6)) -> rule4)) -> rule8)) -> rule3) ((((((triple11) -> rule6)) -> rule4)) -> rule8)) -> rule5) OR ((((((((((triple3) -> rule6)) -> rule4)) -> rule8)) -> rule3) ((((((triple3) -> rule6)) -> rule4)) -> rule8)) -> rule5))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple3
The dog is cold.
("dog" "is" "cold" "+")
triple4
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple5
The lion chases the dog.
("lion" "chases" "dog" "+")
triple6
The lion is green.
("lion" "is" "green" "+")
triple7
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple8
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple9
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple10
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple11
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
((triple11) -> (rule6 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
((triple3) -> (rule6 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The dog is round.
("dog" "is" "round" "+")
((((triple11) -> (rule6 % int2))) -> (rule4 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int2
((((triple3) -> (rule6 % int2))) -> (rule4 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
((((((triple11) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int3
((((((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
((((((triple11) -> (rule6 % int3))) -> (rule4 % int2)) ((triple11) -> (rule6 % int3))) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int3
((((((triple11) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule6 % int3))) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int3
((((((triple3) -> (rule6 % int3))) -> (rule4 % int2)) ((triple11) -> (rule6 % int3))) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int3
((((((triple3) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule6 % int3))) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int3
The dog chases the lion.
("dog" "chases" "lion" "+")
((((((((triple11) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int4
((((((((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int4
The dog is big.
("dog" "is" "big" "+")
((((((((((triple11) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) ((((((triple11) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int5
((((((((((triple11) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) ((((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int5
((((((((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) ((((((triple11) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int5
((((((((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) ((((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int5