The bear eats the lion. The bear sees the dog. The bear visits the dog. The dog sees the bear. The dog sees the squirrel. The lion sees the bear. The lion sees the squirrel. The lion visits the bear. The lion visits the dog. The squirrel visits the dog. If someone visits the dog and the dog is round then they are round. If someone visits the dog then the dog eats the squirrel. All big people are round. If someone visits the dog and the dog is nice then they see the bear. If someone eats the squirrel and they see the lion then the lion eats the dog. If someone is green then they visit the dog. If someone visits the dog and they are round then the dog is nice. If someone eats the squirrel then they are big. If someone sees the bear and they visit the squirrel then they are green.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If someone visits the dog and the dog is round then they are round.
((("someone" "visits" "dog" "+") ("dog" "is" "round" "+")) -> ("someone" "is" "round" "+"))
If someone visits the dog then the dog eats the squirrel.
((("someone" "visits" "dog" "+")) -> ("dog" "eats" "squirrel" "+"))
All big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone visits the dog and the dog is nice then they see the bear.
((("someone" "visits" "dog" "+") ("dog" "is" "nice" "+")) -> ("someone" "sees" "bear" "+"))
If someone eats the squirrel and they see the lion then the lion eats the dog.
((("someone" "eats" "squirrel" "+") ("someone" "sees" "lion" "+")) -> ("lion" "eats" "dog" "+"))
If someone is green then they visit the dog.
((("someone" "is" "green" "+")) -> ("someone" "visits" "dog" "+"))
If someone visits the dog and they are round then the dog is nice.
((("someone" "visits" "dog" "+") ("someone" "is" "round" "+")) -> ("dog" "is" "nice" "+"))
If someone eats the squirrel then they are big.
((("someone" "eats" "squirrel" "+")) -> ("someone" "is" "big" "+"))
If someone sees the bear and they visit the squirrel then they are green.
((("someone" "sees" "bear" "+") ("someone" "visits" "squirrel" "+")) -> ("someone" "is" "green" "+"))
The lion visits the dog.
True
1
proof
[(triple9)]
("lion" "visits" "dog" "+")
triple9
The bear does not visit the dog.
False
1
inv-proof
[(triple3)]
("bear" "visits" "dog" "-")
triple3
The dog eats the squirrel.
True
2
proof
[(((triple10) -> rule2) OR ((triple3) -> rule2) OR ((triple9) -> rule2))]
("dog" "eats" "squirrel" "+")
((triple10) -> (rule2 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
((triple3) -> (rule2 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
((triple9) -> (rule2 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog does not eat the squirrel.
False
2
inv-proof
[(((triple10) -> rule2) OR ((triple3) -> rule2) OR ((triple9) -> rule2))]
("dog" "eats" "squirrel" "-")
((triple10) -> (rule2 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
((triple3) -> (rule2 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
((triple9) -> (rule2 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog is big.
True
3
proof
[(((((triple10) -> rule2)) -> rule8) OR ((((triple3) -> rule2)) -> rule8) OR ((((triple9) -> rule2)) -> rule8))]
("dog" "is" "big" "+")
((((triple10) -> (rule2 % int2))) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
((((triple3) -> (rule2 % int2))) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
((((triple9) -> (rule2 % int2))) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
The dog is not big.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule8) OR ((((triple3) -> rule2)) -> rule8) OR ((((triple9) -> rule2)) -> rule8))]
("dog" "is" "big" "-")
((((triple10) -> (rule2 % int2))) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
((((triple3) -> (rule2 % int2))) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
((((triple9) -> (rule2 % int2))) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
The dog is round.
True
4
proof
[(((((((triple10) -> rule2)) -> rule8)) -> rule3) OR ((((((triple3) -> rule2)) -> rule8)) -> rule3) OR ((((((triple9) -> rule2)) -> rule8)) -> rule3))]
("dog" "is" "round" "+")
((((((triple10) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int3
((((((triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int3
((((((triple9) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int3
The dog is not round.
False
4
inv-proof
[(((((((triple10) -> rule2)) -> rule8)) -> rule3) OR ((((((triple3) -> rule2)) -> rule8)) -> rule3) OR ((((((triple9) -> rule2)) -> rule8)) -> rule3))]
("dog" "is" "round" "-")
((((((triple10) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int3
((((((triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int3
((((((triple9) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int3
The squirrel is round.
True
6
proof
[(((triple10 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1) OR ((triple10 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1) OR ((triple10 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1))]
("squirrel" "is" "round" "+")
((triple10 ((((((triple10) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int4
((triple10 ((((((triple3) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int4
((triple10 ((((((triple9) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int4
The bear is not round.
False
6
inv-proof
[(((triple3 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1) OR ((triple3 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1) OR ((triple3 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1))]
("bear" "is" "round" "-")
((triple3 ((((((triple10) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int4
((triple3 ((((((triple3) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int4
((triple3 ((((((triple9) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int4
The dog is nice.
True
8
proof
[(((triple10 ((triple10 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple10 ((triple10 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple10 ((triple10 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple3 ((triple3 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple3 ((triple3 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple3 ((triple3 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple9 ((triple9 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple9 ((triple9 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple9 ((triple9 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7))]
("dog" "is" "nice" "+")
((triple10 ((triple10 ((((((triple10) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple10 ((triple10 ((((((triple3) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple10 ((triple10 ((((((triple9) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple3 ((triple3 ((((((triple10) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple3 ((triple3 ((((((triple3) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple3 ((triple3 ((((((triple9) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple9 ((triple9 ((((((triple10) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple9 ((triple9 ((((((triple3) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple9 ((triple9 ((((((triple9) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
The dog is not nice.
False
8
inv-proof
[(((triple10 ((triple10 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple10 ((triple10 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple10 ((triple10 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple3 ((triple3 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple3 ((triple3 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple3 ((triple3 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple9 ((triple9 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple9 ((triple9 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple9 ((triple9 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7))]
("dog" "is" "nice" "-")
((triple10 ((triple10 ((((((triple10) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple10 ((triple10 ((((((triple3) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple10 ((triple10 ((((((triple9) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple3 ((triple3 ((((((triple10) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple3 ((triple3 ((((((triple3) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple3 ((triple3 ((((((triple9) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple9 ((triple9 ((((((triple10) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple9 ((triple9 ((((((triple3) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple9 ((triple9 ((((((triple9) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
The lion does not eat the dog.
Unknown
inv-rconc
[@1: The lion eats the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "eats" "dog" "-")
The dog visits the dog.
Unknown
rconc
[@2: The dog visits the dog.[CWA. Example of deepest failure = (rule6 <- rule9 <- FAIL)]]
("dog" "visits" "dog" "+")
The lion is not green.
Unknown
inv-rconc
[@1: The lion is green.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("lion" "is" "green" "-")
The dog is green.
Unknown
rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("dog" "is" "green" "+")
The squirrel is not green.
Unknown
inv-rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("squirrel" "is" "green" "-")
The bear is big.
Unknown
rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "is" "big" "+")
The dog does not visit the lion.
Unknown
inv-random
[@0: The dog visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "lion" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
The bear is not red.
Unknown
inv-random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "-")
The dog eats the bear.
Unknown
random
[@0: The dog eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bear" "+")
@0: The bear eats the lion.[(triple1)] The bear sees the dog.[(triple2)] The bear visits the dog.[(triple3)] The dog sees the bear.[(triple4)] The dog sees the squirrel.[(triple5)] The lion sees the bear.[(triple6 OR ((triple9 ((triple10 ((triple10 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple9 ((triple10 ((triple10 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple9 ((triple10 ((triple10 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple9 ((triple3 ((triple3 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple9 ((triple3 ((triple3 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple9 ((triple3 ((triple3 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple9 ((triple9 ((triple9 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple9 ((triple9 ((triple9 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple9 ((triple9 ((triple9 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4))] The lion sees the squirrel.[(triple7)] The lion visits the bear.[(triple8)] The lion visits the dog.[(triple9)] The squirrel visits the dog.[(triple10)] @1: The dog eats the squirrel.[(((triple10) -> rule2) OR ((triple3) -> rule2) OR ((triple9) -> rule2))] @2: The dog is big.[(((((triple10) -> rule2)) -> rule8) OR ((((triple3) -> rule2)) -> rule8) OR ((((triple9) -> rule2)) -> rule8))] @3: The dog is round.[(((((((triple10) -> rule2)) -> rule8)) -> rule3) OR ((((((triple3) -> rule2)) -> rule8)) -> rule3) OR ((((((triple9) -> rule2)) -> rule8)) -> rule3))] @4: The bear is round.[(((triple3 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1) OR ((triple3 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1) OR ((triple3 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1))] The lion is round.[(((triple9 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1) OR ((triple9 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1) OR ((triple9 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1))] The squirrel is round.[(((triple10 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1) OR ((triple10 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1) OR ((triple10 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1))] @5: The dog is nice.[(((triple10 ((triple10 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple10 ((triple10 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple10 ((triple10 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple3 ((triple3 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple3 ((triple3 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple3 ((triple3 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple9 ((triple9 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple9 ((triple9 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7) OR ((triple9 ((triple9 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7))] @6: The bear sees the bear.[(((triple3 ((triple10 ((triple10 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple3 ((triple10 ((triple10 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple3 ((triple10 ((triple10 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple3 ((triple3 ((triple3 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple3 ((triple3 ((triple3 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple3 ((triple3 ((triple3 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple3 ((triple9 ((triple9 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple3 ((triple9 ((triple9 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple3 ((triple9 ((triple9 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4))] The squirrel sees the bear.[(((triple10 ((triple10 ((triple10 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple10 ((triple10 ((triple10 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple10 ((triple10 ((triple10 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple10 ((triple3 ((triple3 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple10 ((triple3 ((triple3 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple10 ((triple3 ((triple3 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple10 ((triple9 ((triple9 ((((((triple10) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple10 ((triple9 ((triple9 ((((((triple3) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((triple10 ((triple9 ((triple9 ((((((triple9) -> rule2)) -> rule8)) -> rule3)) -> rule1)) -> rule7)) -> rule4))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The bear sees the dog.
("bear" "sees" "dog" "+")
triple2
The bear visits the dog.
("bear" "visits" "dog" "+")
triple3
The dog sees the bear.
("dog" "sees" "bear" "+")
triple4
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple5
The lion sees the bear.
("lion" "sees" "bear" "+")
triple6
((triple9 ((triple10 ((triple10 ((((((triple10) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple9 ((triple10 ((triple10 ((((((triple3) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple9 ((triple10 ((triple10 ((((((triple9) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple9 ((triple3 ((triple3 ((((((triple10) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple9 ((triple3 ((triple3 ((((((triple3) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple9 ((triple3 ((triple3 ((((((triple9) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple9 ((triple9 ((triple9 ((((((triple10) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple9 ((triple9 ((triple9 ((((((triple3) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple9 ((triple9 ((triple9 ((((((triple9) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple7
The lion visits the bear.
("lion" "visits" "bear" "+")
triple8
The lion visits the dog.
("lion" "visits" "dog" "+")
triple9
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple10
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
((triple10) -> (rule2 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
((triple3) -> (rule2 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
((triple9) -> (rule2 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog is big.
("dog" "is" "big" "+")
((((triple10) -> (rule2 % int2))) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
((((triple3) -> (rule2 % int2))) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
((((triple9) -> (rule2 % int2))) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
The dog is round.
("dog" "is" "round" "+")
((((((triple10) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int3
((((((triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int3
((((((triple9) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int3
The bear is round.
("bear" "is" "round" "+")
((triple3 ((((((triple10) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int4
((triple3 ((((((triple3) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int4
((triple3 ((((((triple9) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int4
The lion is round.
("lion" "is" "round" "+")
((triple9 ((((((triple10) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int4
((triple9 ((((((triple3) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int4
((triple9 ((((((triple9) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int4
The squirrel is round.
("squirrel" "is" "round" "+")
((triple10 ((((((triple10) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int4
((triple10 ((((((triple3) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int4
((triple10 ((((((triple9) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int4
The dog is nice.
("dog" "is" "nice" "+")
((triple10 ((triple10 ((((((triple10) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple10 ((triple10 ((((((triple3) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple10 ((triple10 ((((((triple9) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple3 ((triple3 ((((((triple10) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple3 ((triple3 ((((((triple3) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple3 ((triple3 ((((((triple9) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple9 ((triple9 ((((((triple10) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple9 ((triple9 ((((((triple3) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((triple9 ((triple9 ((((((triple9) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple3 ((triple10 ((triple10 ((((((triple10) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple3 ((triple10 ((triple10 ((((((triple3) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple3 ((triple10 ((triple10 ((((((triple9) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple3 ((triple3 ((triple3 ((((((triple10) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple3 ((triple3 ((triple3 ((((((triple3) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple3 ((triple3 ((triple3 ((((((triple9) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple3 ((triple9 ((triple9 ((((((triple10) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple3 ((triple9 ((triple9 ((((((triple3) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple3 ((triple9 ((triple9 ((((((triple9) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
((triple10 ((triple10 ((triple10 ((((((triple10) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple10 ((triple10 ((triple10 ((((((triple3) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple10 ((triple10 ((triple10 ((((((triple9) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple10 ((triple3 ((triple3 ((((((triple10) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple10 ((triple3 ((triple3 ((((((triple3) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple10 ((triple3 ((triple3 ((((((triple9) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple10 ((triple9 ((triple9 ((((((triple10) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple10 ((triple9 ((triple9 ((((((triple3) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((triple10 ((triple9 ((triple9 ((((((triple9) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6