The bear eats the cow. The bear sees the cow. The bear sees the squirrel. The cow is blue. The cow likes the squirrel. The cow sees the squirrel. The dog eats the cow. The dog is cold. The dog is kind. The dog sees the cow. The squirrel eats the cow. The squirrel likes the dog. The squirrel sees the bear. The squirrel sees the cow. If something sees the squirrel then it eats the dog. If something sees the bear then the bear is rough. If the cow likes the dog then the cow sees the dog. If something likes the bear then the bear is kind. If the cow eats the bear then the bear sees the cow. If something is kind then it eats the bear. Blue things are kind. If something likes the bear and it eats the bear then it eats the dog. If something eats the bear and the bear eats the cow then it likes the bear.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If something sees the squirrel then it eats the dog.
((("something" "sees" "squirrel" "+")) -> ("something" "eats" "dog" "+"))
If something sees the bear then the bear is rough.
((("something" "sees" "bear" "+")) -> ("bear" "is" "rough" "+"))
If the cow likes the dog then the cow sees the dog.
((("cow" "likes" "dog" "+")) -> ("cow" "sees" "dog" "+"))
If something likes the bear then the bear is kind.
((("something" "likes" "bear" "+")) -> ("bear" "is" "kind" "+"))
If the cow eats the bear then the bear sees the cow.
((("cow" "eats" "bear" "+")) -> ("bear" "sees" "cow" "+"))
If something is kind then it eats the bear.
((("something" "is" "kind" "+")) -> ("something" "eats" "bear" "+"))
Blue things are kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
If something likes the bear and it eats the bear then it eats the dog.
((("something" "likes" "bear" "+") ("something" "eats" "bear" "+")) -> ("something" "eats" "dog" "+"))
If something eats the bear and the bear eats the cow then it likes the bear.
((("something" "eats" "bear" "+") ("bear" "eats" "cow" "+")) -> ("something" "likes" "bear" "+"))
The bear eats the cow.
True
1
proof
[(triple1)]
("bear" "eats" "cow" "+")
triple1
The dog does not see the cow.
False
1
inv-proof
[(triple10)]
("dog" "sees" "cow" "-")
triple10
The bear eats the dog.
True
2
proof
[(((triple3) -> rule1) OR ((((((((((((triple9) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6) triple1) -> rule9) ((((((((triple9) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6)) -> rule8) OR ((((((((((((triple9) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6) triple1) -> rule9) ((((((((((triple4) -> rule7)) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6)) -> rule8) OR ((((((((((((((triple4) -> rule7)) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6) triple1) -> rule9) ((((((((triple9) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6)) -> rule8) OR ((((((((((((((triple4) -> rule7)) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6) triple1) -> rule9) ((((((((((triple4) -> rule7)) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6)) -> rule8))]
("bear" "eats" "dog" "+")
((triple3) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
((((((((((((triple9) -> (rule6 % int6)) triple1) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) triple1) -> (rule9 % int2)) ((((((((triple9) -> (rule6 % int6)) triple1) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule8 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
The dog likes the bear.
("dog" "likes" "bear" "+")
int5
The dog eats the bear.
("dog" "eats" "bear" "+")
int6
((((((((((((triple9) -> (rule6 % int9)) triple1) -> (rule9 % int8))) -> (rule4 % int7))) -> (rule6 % int6)) triple1) -> (rule9 % int5)) ((((((((((triple4) -> (rule7 % int4))) -> (rule6 % int3)) triple1) -> (rule9 % int2))) -> (rule4 % int7))) -> (rule6 % int6))) -> (rule8 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
int2
The cow eats the bear.
("cow" "eats" "bear" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
The bear likes the bear.
("bear" "likes" "bear" "+")
int5
The bear eats the bear.
("bear" "eats" "bear" "+")
int6
The bear is kind.
("bear" "is" "kind" "+")
int7
The dog likes the bear.
("dog" "likes" "bear" "+")
int8
The dog eats the bear.
("dog" "eats" "bear" "+")
int9
((((((((((((((triple4) -> (rule7 % int9))) -> (rule6 % int8)) triple1) -> (rule9 % int7))) -> (rule4 % int6))) -> (rule6 % int5)) triple1) -> (rule9 % int4)) ((((((((triple9) -> (rule6 % int3)) triple1) -> (rule9 % int2))) -> (rule4 % int6))) -> (rule6 % int5))) -> (rule8 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The dog eats the bear.
("dog" "eats" "bear" "+")
int3
The bear likes the bear.
("bear" "likes" "bear" "+")
int4
The bear eats the bear.
("bear" "eats" "bear" "+")
int5
The bear is kind.
("bear" "is" "kind" "+")
int6
The cow likes the bear.
("cow" "likes" "bear" "+")
int7
The cow eats the bear.
("cow" "eats" "bear" "+")
int8
The cow is kind.
("cow" "is" "kind" "+")
int9
((((((((((((((triple4) -> (rule7 % int7))) -> (rule6 % int6)) triple1) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) triple1) -> (rule9 % int2)) ((((((((((triple4) -> (rule7 % int7))) -> (rule6 % int6)) triple1) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule8 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
The cow likes the bear.
("cow" "likes" "bear" "+")
int5
The cow eats the bear.
("cow" "eats" "bear" "+")
int6
The cow is kind.
("cow" "is" "kind" "+")
int7
The dog does not eat the bear.
False
2
inv-proof
[(((triple9) -> rule6))]
("dog" "eats" "bear" "-")
((triple9) -> (rule6 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The cow eats the bear.
True
3
proof
[(((((triple4) -> rule7)) -> rule6))]
("cow" "eats" "bear" "+")
((((triple4) -> (rule7 % int2))) -> (rule6 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The dog does not like the bear.
False
4
inv-proof
[(((((triple9) -> rule6) triple1) -> rule9))]
("dog" "likes" "bear" "-")
((((triple9) -> (rule6 % int2)) triple1) -> (rule9 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
int2
The bear is kind.
True
5
proof
[(((((((triple9) -> rule6) triple1) -> rule9)) -> rule4) OR ((((((((triple4) -> rule7)) -> rule6) triple1) -> rule9)) -> rule4))]
("bear" "is" "kind" "+")
((((((triple9) -> (rule6 % int3)) triple1) -> (rule9 % int2))) -> (rule4 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The dog eats the bear.
("dog" "eats" "bear" "+")
int3
((((((((triple4) -> (rule7 % int4))) -> (rule6 % int3)) triple1) -> (rule9 % int2))) -> (rule4 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
int2
The cow eats the bear.
("cow" "eats" "bear" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
The dog does not eat the dog.
False
7
inv-proof
[(((((((triple9) -> rule6) triple1) -> rule9) ((triple9) -> rule6)) -> rule8))]
("dog" "eats" "dog" "-")
((((((triple9) -> (rule6 % int3)) triple1) -> (rule9 % int2)) ((triple9) -> (rule6 % int3))) -> (rule8 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The dog eats the bear.
("dog" "eats" "bear" "+")
int3
The bear eats the bear.
True
6
proof
[(((((((((triple9) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6) OR ((((((((((triple4) -> rule7)) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6))]
("bear" "eats" "bear" "+")
((((((((triple9) -> (rule6 % int4)) triple1) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The dog eats the bear.
("dog" "eats" "bear" "+")
int4
((((((((((triple4) -> (rule7 % int5))) -> (rule6 % int4)) triple1) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The cow likes the bear.
("cow" "likes" "bear" "+")
int3
The cow eats the bear.
("cow" "eats" "bear" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
The bear does not eat the bear.
False
6
inv-proof
[(((((((((triple9) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6) OR ((((((((((triple4) -> rule7)) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6))]
("bear" "eats" "bear" "-")
((((((((triple9) -> (rule6 % int4)) triple1) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The dog eats the bear.
("dog" "eats" "bear" "+")
int4
((((((((((triple4) -> (rule7 % int5))) -> (rule6 % int4)) triple1) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The cow likes the bear.
("cow" "likes" "bear" "+")
int3
The cow eats the bear.
("cow" "eats" "bear" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
The bear likes the bear.
True
8
proof
[(((((((((((triple9) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6) triple1) -> rule9) OR ((((((((((((triple4) -> rule7)) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6) triple1) -> rule9))]
("bear" "likes" "bear" "+")
((((((((((triple9) -> (rule6 % int5)) triple1) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple1) -> (rule9 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The dog eats the bear.
("dog" "eats" "bear" "+")
int5
((((((((((((triple4) -> (rule7 % int6))) -> (rule6 % int5)) triple1) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple1) -> (rule9 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The cow likes the bear.
("cow" "likes" "bear" "+")
int4
The cow eats the bear.
("cow" "eats" "bear" "+")
int5
The cow is kind.
("cow" "is" "kind" "+")
int6
The bear does not like the bear.
False
8
inv-proof
[(((((((((((triple9) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6) triple1) -> rule9) OR ((((((((((((triple4) -> rule7)) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6) triple1) -> rule9))]
("bear" "likes" "bear" "-")
((((((((((triple9) -> (rule6 % int5)) triple1) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple1) -> (rule9 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The dog eats the bear.
("dog" "eats" "bear" "+")
int5
((((((((((((triple4) -> (rule7 % int6))) -> (rule6 % int5)) triple1) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple1) -> (rule9 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The cow likes the bear.
("cow" "likes" "bear" "+")
int4
The cow eats the bear.
("cow" "eats" "bear" "+")
int5
The cow is kind.
("cow" "is" "kind" "+")
int6
The squirrel does not eat the dog.
Unknown
inv-rconc
[@3: The squirrel eats the dog.[CWA. Example of deepest failure = (rule8 <- rule6 <- rule7 <- FAIL)]]
("squirrel" "eats" "dog" "-")
The squirrel eats the bear.
Unknown
rconc
[@2: The squirrel eats the bear.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("squirrel" "eats" "bear" "+")
The squirrel does not like the bear.
Unknown
inv-rconc
[@3: The squirrel likes the bear.[CWA. Example of deepest failure = (rule9 <- rule6 <- rule7 <- FAIL)]]
("squirrel" "likes" "bear" "-")
The cow sees the dog.
Unknown
rconc
[@1: The cow sees the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "sees" "dog" "+")
The squirrel is not kind.
Unknown
inv-rconc
[@1: The squirrel is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "is" "kind" "-")
The dog likes the cow.
Unknown
random
[@0: The dog likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "cow" "+")
The dog is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
The dog sees the bear.
Unknown
random
[@0: The dog sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bear" "+")
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
The cow does not see the bear.
Unknown
inv-random
[@0: The cow sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bear" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear eats the cow.[(triple1)] The bear sees the cow.[(triple2 OR ((((((triple4) -> rule7)) -> rule6)) -> rule5))] The bear sees the squirrel.[(triple3)] The cow is blue.[(triple4)] The cow likes the squirrel.[(triple5)] The cow sees the squirrel.[(triple6)] The dog eats the cow.[(triple7)] The dog is cold.[(triple8)] The dog is kind.[(triple9)] The dog sees the cow.[(triple10)] The squirrel eats the cow.[(triple11)] The squirrel likes the dog.[(triple12)] The squirrel sees the bear.[(triple13)] The squirrel sees the cow.[(triple14)] @1: The bear eats the dog.[(((triple3) -> rule1) OR ((((((((((((triple9) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6) triple1) -> rule9) ((((((((triple9) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6)) -> rule8) OR ((((((((((((triple9) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6) triple1) -> rule9) ((((((((((triple4) -> rule7)) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6)) -> rule8) OR ((((((((((((((triple4) -> rule7)) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6) triple1) -> rule9) ((((((((triple9) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6)) -> rule8) OR ((((((((((((((triple4) -> rule7)) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6) triple1) -> rule9) ((((((((((triple4) -> rule7)) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6)) -> rule8))] The bear is rough.[(((triple13) -> rule2))] The cow eats the dog.[(((triple6) -> rule1) OR ((((((((triple4) -> rule7)) -> rule6) triple1) -> rule9) ((((triple4) -> rule7)) -> rule6)) -> rule8))] The cow is kind.[(((triple4) -> rule7))] The dog eats the bear.[(((triple9) -> rule6))] @2: The cow eats the bear.[(((((triple4) -> rule7)) -> rule6))] The dog likes the bear.[(((((triple9) -> rule6) triple1) -> rule9))] @3: The bear is kind.[(((((((triple9) -> rule6) triple1) -> rule9)) -> rule4) OR ((((((((triple4) -> rule7)) -> rule6) triple1) -> rule9)) -> rule4))] The cow likes the bear.[(((((((triple4) -> rule7)) -> rule6) triple1) -> rule9))] The dog eats the dog.[(((((((triple9) -> rule6) triple1) -> rule9) ((triple9) -> rule6)) -> rule8))] @4: The bear eats the bear.[(((((((((triple9) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6) OR ((((((((((triple4) -> rule7)) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6))] @5: The bear likes the bear.[(((((((((((triple9) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6) triple1) -> rule9) OR ((((((((((((triple4) -> rule7)) -> rule6) triple1) -> rule9)) -> rule4)) -> rule6) triple1) -> rule9))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear sees the cow.
("bear" "sees" "cow" "+")
triple2
((((((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple3
The cow is blue.
("cow" "is" "blue" "+")
triple4
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple5
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple6
The dog eats the cow.
("dog" "eats" "cow" "+")
triple7
The dog is cold.
("dog" "is" "cold" "+")
triple8
The dog is kind.
("dog" "is" "kind" "+")
triple9
The dog sees the cow.
("dog" "sees" "cow" "+")
triple10
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple11
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple12
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple13
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple14
The bear eats the dog.
("bear" "eats" "dog" "+")
((triple3) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
((((((((((((triple9) -> (rule6 % int6)) triple1) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) triple1) -> (rule9 % int2)) ((((((((triple9) -> (rule6 % int6)) triple1) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule8 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
The dog likes the bear.
("dog" "likes" "bear" "+")
int5
The dog eats the bear.
("dog" "eats" "bear" "+")
int6
((((((((((((triple9) -> (rule6 % int9)) triple1) -> (rule9 % int8))) -> (rule4 % int7))) -> (rule6 % int6)) triple1) -> (rule9 % int5)) ((((((((((triple4) -> (rule7 % int4))) -> (rule6 % int3)) triple1) -> (rule9 % int2))) -> (rule4 % int7))) -> (rule6 % int6))) -> (rule8 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
int2
The cow eats the bear.
("cow" "eats" "bear" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
The bear likes the bear.
("bear" "likes" "bear" "+")
int5
The bear eats the bear.
("bear" "eats" "bear" "+")
int6
The bear is kind.
("bear" "is" "kind" "+")
int7
The dog likes the bear.
("dog" "likes" "bear" "+")
int8
The dog eats the bear.
("dog" "eats" "bear" "+")
int9
((((((((((((((triple4) -> (rule7 % int9))) -> (rule6 % int8)) triple1) -> (rule9 % int7))) -> (rule4 % int6))) -> (rule6 % int5)) triple1) -> (rule9 % int4)) ((((((((triple9) -> (rule6 % int3)) triple1) -> (rule9 % int2))) -> (rule4 % int6))) -> (rule6 % int5))) -> (rule8 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The dog eats the bear.
("dog" "eats" "bear" "+")
int3
The bear likes the bear.
("bear" "likes" "bear" "+")
int4
The bear eats the bear.
("bear" "eats" "bear" "+")
int5
The bear is kind.
("bear" "is" "kind" "+")
int6
The cow likes the bear.
("cow" "likes" "bear" "+")
int7
The cow eats the bear.
("cow" "eats" "bear" "+")
int8
The cow is kind.
("cow" "is" "kind" "+")
int9
((((((((((((((triple4) -> (rule7 % int7))) -> (rule6 % int6)) triple1) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) triple1) -> (rule9 % int2)) ((((((((((triple4) -> (rule7 % int7))) -> (rule6 % int6)) triple1) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule8 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
The cow likes the bear.
("cow" "likes" "bear" "+")
int5
The cow eats the bear.
("cow" "eats" "bear" "+")
int6
The cow is kind.
("cow" "is" "kind" "+")
int7
The bear is rough.
("bear" "is" "rough" "+")
((triple13) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The cow eats the dog.
("cow" "eats" "dog" "+")
((triple6) -> (rule1 % int1))
The cow eats the dog.
("cow" "eats" "dog" "+")
int1
((((((((triple4) -> (rule7 % int4))) -> (rule6 % int3)) triple1) -> (rule9 % int2)) ((((triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule8 % int1))
The cow eats the dog.
("cow" "eats" "dog" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
int2
The cow eats the bear.
("cow" "eats" "bear" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
((triple4) -> (rule7 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
((triple9) -> (rule6 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
((((triple4) -> (rule7 % int2))) -> (rule6 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
((((triple9) -> (rule6 % int2)) triple1) -> (rule9 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
((((((triple9) -> (rule6 % int3)) triple1) -> (rule9 % int2))) -> (rule4 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The dog eats the bear.
("dog" "eats" "bear" "+")
int3
((((((((triple4) -> (rule7 % int4))) -> (rule6 % int3)) triple1) -> (rule9 % int2))) -> (rule4 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
int2
The cow eats the bear.
("cow" "eats" "bear" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
The cow likes the bear.
("cow" "likes" "bear" "+")
((((((triple4) -> (rule7 % int3))) -> (rule6 % int2)) triple1) -> (rule9 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The dog eats the dog.
("dog" "eats" "dog" "+")
((((((triple9) -> (rule6 % int3)) triple1) -> (rule9 % int2)) ((triple9) -> (rule6 % int3))) -> (rule8 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The dog eats the bear.
("dog" "eats" "bear" "+")
int3
The bear eats the bear.
("bear" "eats" "bear" "+")
((((((((triple9) -> (rule6 % int4)) triple1) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The dog eats the bear.
("dog" "eats" "bear" "+")
int4
((((((((((triple4) -> (rule7 % int5))) -> (rule6 % int4)) triple1) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The cow likes the bear.
("cow" "likes" "bear" "+")
int3
The cow eats the bear.
("cow" "eats" "bear" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
The bear likes the bear.
("bear" "likes" "bear" "+")
((((((((((triple9) -> (rule6 % int5)) triple1) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple1) -> (rule9 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The dog eats the bear.
("dog" "eats" "bear" "+")
int5
((((((((((((triple4) -> (rule7 % int6))) -> (rule6 % int5)) triple1) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple1) -> (rule9 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The cow likes the bear.
("cow" "likes" "bear" "+")
int4
The cow eats the bear.
("cow" "eats" "bear" "+")
int5
The cow is kind.
("cow" "is" "kind" "+")
int6