The bear is nice. The dog chases the tiger. The dog is nice. The dog is red. The dog needs the squirrel. The dog sees the tiger. The squirrel chases the dog. The squirrel needs the tiger. The tiger chases the bear. The tiger is round. The tiger needs the bear. The tiger needs the squirrel. The tiger sees the dog. The tiger sees the squirrel. If someone needs the tiger then the tiger sees the squirrel. If someone sees the bear then they are nice. If someone chases the bear then the bear chases the tiger. If someone needs the dog then they need the tiger. If someone needs the tiger and the tiger needs the dog then the dog is round. If someone chases the tiger and they need the tiger then they need the bear. If someone is round and they need the squirrel then they need the dog. If someone is red and they need the tiger then they are nice. If someone sees the squirrel then they chase the dog.
The bear is nice.
("bear" "is" "nice" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If someone needs the tiger then the tiger sees the squirrel.
((("someone" "needs" "tiger" "+")) -> ("tiger" "sees" "squirrel" "+"))
If someone sees the bear then they are nice.
((("someone" "sees" "bear" "+")) -> ("someone" "is" "nice" "+"))
If someone chases the bear then the bear chases the tiger.
((("someone" "chases" "bear" "+")) -> ("bear" "chases" "tiger" "+"))
If someone needs the dog then they need the tiger.
((("someone" "needs" "dog" "+")) -> ("someone" "needs" "tiger" "+"))
If someone needs the tiger and the tiger needs the dog then the dog is round.
((("someone" "needs" "tiger" "+") ("tiger" "needs" "dog" "+")) -> ("dog" "is" "round" "+"))
If someone chases the tiger and they need the tiger then they need the bear.
((("someone" "chases" "tiger" "+") ("someone" "needs" "tiger" "+")) -> ("someone" "needs" "bear" "+"))
If someone is round and they need the squirrel then they need the dog.
((("someone" "is" "round" "+") ("someone" "needs" "squirrel" "+")) -> ("someone" "needs" "dog" "+"))
If someone is red and they need the tiger then they are nice.
((("someone" "is" "red" "+") ("someone" "needs" "tiger" "+")) -> ("someone" "is" "nice" "+"))
If someone sees the squirrel then they chase the dog.
((("someone" "sees" "squirrel" "+")) -> ("someone" "chases" "dog" "+"))
The tiger sees the dog.
True
1
proof
[(triple13)]
("tiger" "sees" "dog" "+")
triple13
The bear is not nice.
False
1
inv-proof
[(triple1)]
("bear" "is" "nice" "-")
triple1
The tiger needs the dog.
True
3
proof
[(((triple10 triple12) -> rule7))]
("tiger" "needs" "dog" "+")
((triple10 triple12) -> (rule7 % int1))
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int1
The tiger does not need the dog.
False
3
inv-proof
[(((triple10 triple12) -> rule7))]
("tiger" "needs" "dog" "-")
((triple10 triple12) -> (rule7 % int1))
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int1
The tiger needs the tiger.
True
4
proof
[(((((triple10 triple12) -> rule7)) -> rule4))]
("tiger" "needs" "tiger" "+")
((((triple10 triple12) -> (rule7 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int2
The dog is not round.
False
5
inv-proof
[(((triple8 ((triple10 triple12) -> rule7)) -> rule5) OR ((((((triple10 triple12) -> rule7)) -> rule4) ((triple10 triple12) -> rule7)) -> rule5))]
("dog" "is" "round" "-")
((triple8 ((triple10 triple12) -> (rule7 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int2
((((((triple10 triple12) -> (rule7 % int3))) -> (rule4 % int2)) ((triple10 triple12) -> (rule7 % int3))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int3
The dog needs the dog.
True
7
proof
[(((((triple8 ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7) OR ((((((((triple10 triple12) -> rule7)) -> rule4) ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7))]
("dog" "needs" "dog" "+")
((((triple8 ((triple10 triple12) -> (rule7 % int3))) -> (rule5 % int2)) triple5) -> (rule7 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int3
((((((((triple10 triple12) -> (rule7 % int4))) -> (rule4 % int3)) ((triple10 triple12) -> (rule7 % int4))) -> (rule5 % int2)) triple5) -> (rule7 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int3
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int4
The dog does not need the dog.
False
7
inv-proof
[(((((triple8 ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7) OR ((((((((triple10 triple12) -> rule7)) -> rule4) ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7))]
("dog" "needs" "dog" "-")
((((triple8 ((triple10 triple12) -> (rule7 % int3))) -> (rule5 % int2)) triple5) -> (rule7 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int3
((((((((triple10 triple12) -> (rule7 % int4))) -> (rule4 % int3)) ((triple10 triple12) -> (rule7 % int4))) -> (rule5 % int2)) triple5) -> (rule7 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int3
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int4
The dog needs the tiger.
True
8
proof
[(((((((triple8 ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7)) -> rule4) OR ((((((((((triple10 triple12) -> rule7)) -> rule4) ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7)) -> rule4))]
("dog" "needs" "tiger" "+")
((((((triple8 ((triple10 triple12) -> (rule7 % int4))) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule4 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int4
((((((((((triple10 triple12) -> (rule7 % int5))) -> (rule4 % int4)) ((triple10 triple12) -> (rule7 % int5))) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule4 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int4
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int5
The dog does not need the tiger.
False
8
inv-proof
[(((((((triple8 ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7)) -> rule4) OR ((((((((((triple10 triple12) -> rule7)) -> rule4) ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7)) -> rule4))]
("dog" "needs" "tiger" "-")
((((((triple8 ((triple10 triple12) -> (rule7 % int4))) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule4 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int4
((((((((((triple10 triple12) -> (rule7 % int5))) -> (rule4 % int4)) ((triple10 triple12) -> (rule7 % int5))) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule4 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int4
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int5
The dog needs the bear.
True
10
proof
[(((triple2 ((((((triple8 ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7)) -> rule4)) -> rule6) OR ((triple2 ((((((((((triple10 triple12) -> rule7)) -> rule4) ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7)) -> rule4)) -> rule6))]
("dog" "needs" "bear" "+")
((triple2 ((((((triple8 ((triple10 triple12) -> (rule7 % int5))) -> (rule5 % int4)) triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int5
((triple2 ((((((((((triple10 triple12) -> (rule7 % int6))) -> (rule4 % int5)) ((triple10 triple12) -> (rule7 % int6))) -> (rule5 % int4)) triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int5
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int6
The dog does not need the bear.
False
10
inv-proof
[(((triple2 ((((((triple8 ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7)) -> rule4)) -> rule6) OR ((triple2 ((((((((((triple10 triple12) -> rule7)) -> rule4) ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7)) -> rule4)) -> rule6))]
("dog" "needs" "bear" "-")
((triple2 ((((((triple8 ((triple10 triple12) -> (rule7 % int5))) -> (rule5 % int4)) triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int5
((triple2 ((((((((((triple10 triple12) -> (rule7 % int6))) -> (rule4 % int5)) ((triple10 triple12) -> (rule7 % int6))) -> (rule5 % int4)) triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int5
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int6
The bear does not need the dog.
Unknown
inv-rconc
[@1: The bear needs the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "needs" "dog" "-")
The squirrel needs the bear.
Unknown
rconc
[@1: The squirrel needs the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "needs" "bear" "+")
The bear does not need the tiger.
Unknown
inv-rconc
[@2: The bear needs the tiger.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("bear" "needs" "tiger" "-")
The dog chases the dog.
Unknown
rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("dog" "chases" "dog" "+")
The tiger is not nice.
Unknown
inv-rconc
[@1: The tiger is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "nice" "-")
The squirrel is nice.
Unknown
rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "nice" "+")
The dog does not chase the squirrel.
Unknown
inv-random
[@0: The dog chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "squirrel" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
The squirrel does not see the bear.
Unknown
inv-random
[@0: The squirrel sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "bear" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
The dog does not chase the bear.
Unknown
inv-random
[@0: The dog chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "bear" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The bear is nice.[(triple1)] The dog chases the tiger.[(triple2)] The dog is nice.[(triple3 OR ((triple4 ((((((triple8 ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7)) -> rule4)) -> rule8) OR ((triple4 ((((((((((triple10 triple12) -> rule7)) -> rule4) ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7)) -> rule4)) -> rule8))] The dog is red.[(triple4)] The dog needs the squirrel.[(triple5)] The dog sees the tiger.[(triple6)] The squirrel chases the dog.[(triple7)] The squirrel needs the tiger.[(triple8)] The tiger chases the bear.[(triple9)] The tiger is round.[(triple10)] The tiger needs the bear.[(triple11)] The tiger needs the squirrel.[(triple12)] The tiger sees the dog.[(triple13)] The tiger sees the squirrel.[(triple14 OR ((triple8) -> rule1) OR ((((((triple10 triple12) -> rule7)) -> rule4)) -> rule1) OR ((((((((triple8 ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7)) -> rule4)) -> rule1) OR ((((((((((((triple10 triple12) -> rule7)) -> rule4) ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7)) -> rule4)) -> rule1))] @1: The bear chases the tiger.[(((triple9) -> rule3))] The tiger chases the dog.[(((triple14) -> rule9) OR ((((triple8) -> rule1)) -> rule9) OR ((((((((triple10 triple12) -> rule7)) -> rule4)) -> rule1)) -> rule9) OR ((((((((((triple8 ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7)) -> rule4)) -> rule1)) -> rule9) OR ((((((((((((((triple10 triple12) -> rule7)) -> rule4) ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7)) -> rule4)) -> rule1)) -> rule9))] The tiger needs the dog.[(((triple10 triple12) -> rule7))] @2: The dog is round.[(((triple8 ((triple10 triple12) -> rule7)) -> rule5) OR ((((((triple10 triple12) -> rule7)) -> rule4) ((triple10 triple12) -> rule7)) -> rule5))] The tiger needs the tiger.[(((((triple10 triple12) -> rule7)) -> rule4))] @3: The dog needs the dog.[(((((triple8 ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7) OR ((((((((triple10 triple12) -> rule7)) -> rule4) ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7))] @4: The dog needs the tiger.[(((((((triple8 ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7)) -> rule4) OR ((((((((((triple10 triple12) -> rule7)) -> rule4) ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7)) -> rule4))] @5: The dog needs the bear.[(((triple2 ((((((triple8 ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7)) -> rule4)) -> rule6) OR ((triple2 ((((((((((triple10 triple12) -> rule7)) -> rule4) ((triple10 triple12) -> rule7)) -> rule5) triple5) -> rule7)) -> rule4)) -> rule6))]
The bear is nice.
("bear" "is" "nice" "+")
triple1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple2
The dog is nice.
("dog" "is" "nice" "+")
triple3
((triple4 ((((((triple8 ((triple10 triple12) -> (rule7 % int5))) -> (rule5 % int4)) triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int5
((triple4 ((((((((((triple10 triple12) -> (rule7 % int6))) -> (rule4 % int5)) ((triple10 triple12) -> (rule7 % int6))) -> (rule5 % int4)) triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int5
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int6
The dog is red.
("dog" "is" "red" "+")
triple4
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple5
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple6
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple7
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple8
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple9
The tiger is round.
("tiger" "is" "round" "+")
triple10
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple11
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple12
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple13
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple14
((triple8) -> (rule1 % int1))
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int1
((((((triple10 triple12) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int3
((((((((triple8 ((triple10 triple12) -> (rule7 % int5))) -> (rule5 % int4)) triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int5
((((((((((((triple10 triple12) -> (rule7 % int6))) -> (rule4 % int5)) ((triple10 triple12) -> (rule7 % int6))) -> (rule5 % int4)) triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int5
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int6
The bear chases the tiger.
("bear" "chases" "tiger" "+")
((triple9) -> (rule3 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
The tiger chases the dog.
("tiger" "chases" "dog" "+")
((triple14) -> (rule9 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
((((triple8) -> (rule1 % int2))) -> (rule9 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int2
((((((((triple10 triple12) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int2
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int3
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int4
((((((((((triple8 ((triple10 triple12) -> (rule7 % int6))) -> (rule5 % int5)) triple5) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The dog needs the dog.
("dog" "needs" "dog" "+")
int4
The dog is round.
("dog" "is" "round" "+")
int5
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int6
((((((((((((((triple10 triple12) -> (rule7 % int7))) -> (rule4 % int6)) ((triple10 triple12) -> (rule7 % int7))) -> (rule5 % int5)) triple5) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The dog needs the dog.
("dog" "needs" "dog" "+")
int4
The dog is round.
("dog" "is" "round" "+")
int5
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int6
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int7
The tiger needs the dog.
("tiger" "needs" "dog" "+")
((triple10 triple12) -> (rule7 % int1))
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
((triple8 ((triple10 triple12) -> (rule7 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int2
((((((triple10 triple12) -> (rule7 % int3))) -> (rule4 % int2)) ((triple10 triple12) -> (rule7 % int3))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int3
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
((((triple10 triple12) -> (rule7 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
((((triple8 ((triple10 triple12) -> (rule7 % int3))) -> (rule5 % int2)) triple5) -> (rule7 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int3
((((((((triple10 triple12) -> (rule7 % int4))) -> (rule4 % int3)) ((triple10 triple12) -> (rule7 % int4))) -> (rule5 % int2)) triple5) -> (rule7 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int3
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int4
The dog needs the tiger.
("dog" "needs" "tiger" "+")
((((((triple8 ((triple10 triple12) -> (rule7 % int4))) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule4 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int4
((((((((((triple10 triple12) -> (rule7 % int5))) -> (rule4 % int4)) ((triple10 triple12) -> (rule7 % int5))) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule4 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int4
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int5
The dog needs the bear.
("dog" "needs" "bear" "+")
((triple2 ((((((triple8 ((triple10 triple12) -> (rule7 % int5))) -> (rule5 % int4)) triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int5
((triple2 ((((((((((triple10 triple12) -> (rule7 % int6))) -> (rule4 % int5)) ((triple10 triple12) -> (rule7 % int6))) -> (rule5 % int4)) triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int5
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int6