The bear chases the cow. The bear is rough. The cow chases the bear. The cow chases the dog. The cow visits the lion. The dog visits the cow. The lion does not chase the dog. The lion is cold. The lion is red. The lion does not need the cow. The lion visits the bear. The lion visits the cow. If something is red then it needs the dog. If something needs the dog and it is red then it visits the dog. If something needs the dog then the dog is red. If something chases the lion and the lion visits the bear then the bear is green. If something visits the dog then the dog needs the cow. If something needs the cow then the cow is red. If something needs the dog then the dog is rough.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear is rough.
("bear" "is" "rough" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The lion does not chase the dog.
("lion" "chases" "dog" "-")
The lion is cold.
("lion" "is" "cold" "+")
The lion is red.
("lion" "is" "red" "+")
The lion does not need the cow.
("lion" "needs" "cow" "-")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
If something is red then it needs the dog.
((("something" "is" "red" "+")) -> ("something" "needs" "dog" "+"))
If something needs the dog and it is red then it visits the dog.
((("something" "needs" "dog" "+") ("something" "is" "red" "+")) -> ("something" "visits" "dog" "+"))
If something needs the dog then the dog is red.
((("something" "needs" "dog" "+")) -> ("dog" "is" "red" "+"))
If something chases the lion and the lion visits the bear then the bear is green.
((("something" "chases" "lion" "+") ("lion" "visits" "bear" "+")) -> ("bear" "is" "green" "+"))
If something visits the dog then the dog needs the cow.
((("something" "visits" "dog" "+")) -> ("dog" "needs" "cow" "+"))
If something needs the cow then the cow is red.
((("something" "needs" "cow" "+")) -> ("cow" "is" "red" "+"))
If something needs the dog then the dog is rough.
((("something" "needs" "dog" "+")) -> ("dog" "is" "rough" "+"))
The lion visits the bear.
True
1
proof
[(triple11)]
("lion" "visits" "bear" "+")
triple11
The bear does not chase the cow.
False
1
inv-proof
[(triple1)]
("bear" "chases" "cow" "-")
triple1
The lion needs the dog.
True
2
proof
[(((triple9) -> rule1))]
("lion" "needs" "dog" "+")
((triple9) -> (rule1 % int1))
The lion needs the dog.
("lion" "needs" "dog" "+")
int1
The lion does not need the dog.
False
2
inv-proof
[(((triple9) -> rule1))]
("lion" "needs" "dog" "-")
((triple9) -> (rule1 % int1))
The lion needs the dog.
("lion" "needs" "dog" "+")
int1
The dog is red.
True
3
proof
[(((((triple9) -> rule1)) -> rule3) OR ((((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule1)) -> rule3))]
("dog" "is" "red" "+")
((((triple9) -> (rule1 % int2))) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The lion needs the dog.
("lion" "needs" "dog" "+")
int2
((((((((((((triple9) -> (rule1 % int6)) triple9) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The dog needs the cow.
("dog" "needs" "cow" "+")
int4
The lion visits the dog.
("lion" "visits" "dog" "+")
int5
The lion needs the dog.
("lion" "needs" "dog" "+")
int6
The dog is not rough.
False
3
inv-proof
[(((((triple9) -> rule1)) -> rule7) OR ((((((((triple9) -> rule1)) -> rule3)) -> rule1)) -> rule7) OR ((((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule1)) -> rule7) OR ((((((((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule1)) -> rule3)) -> rule1)) -> rule7) OR ((((((((((((((((triple9) -> rule1)) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule3)) -> rule2)) -> rule5)) -> rule6)) -> rule1)) -> rule7))]
("dog" "is" "rough" "-")
((((triple9) -> (rule1 % int2))) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The lion needs the dog.
("lion" "needs" "dog" "+")
int2
((((((((triple9) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The lion needs the dog.
("lion" "needs" "dog" "+")
int4
((((((((((((triple9) -> (rule1 % int6)) triple9) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The dog needs the cow.
("dog" "needs" "cow" "+")
int4
The lion visits the dog.
("lion" "visits" "dog" "+")
int5
The lion needs the dog.
("lion" "needs" "dog" "+")
int6
((((((((((((((((triple9) -> (rule1 % int8)) triple9) -> (rule2 % int7))) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
The cow is red.
("cow" "is" "red" "+")
int5
The dog needs the cow.
("dog" "needs" "cow" "+")
int6
The lion visits the dog.
("lion" "visits" "dog" "+")
int7
The lion needs the dog.
("lion" "needs" "dog" "+")
int8
((((((((((((((((triple9) -> (rule1 % int8))) -> (rule3 % int7))) -> (rule1 % int6)) ((((triple9) -> (rule1 % int8))) -> (rule3 % int7))) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The dog needs the cow.
("dog" "needs" "cow" "+")
int4
The dog visits the dog.
("dog" "visits" "dog" "+")
int5
The dog needs the dog.
("dog" "needs" "dog" "+")
int6
The dog is red.
("dog" "is" "red" "+")
int7
The lion needs the dog.
("lion" "needs" "dog" "+")
int8
The dog needs the cow.
True
5
proof
[(((((((triple9) -> rule1) triple9) -> rule2)) -> rule5) OR ((((((((((triple9) -> rule1)) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule3)) -> rule2)) -> rule5))]
("dog" "needs" "cow" "+")
((((((triple9) -> (rule1 % int3)) triple9) -> (rule2 % int2))) -> (rule5 % int1))
The dog needs the cow.
("dog" "needs" "cow" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
The lion needs the dog.
("lion" "needs" "dog" "+")
int3
((((((((((triple9) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple9) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
The dog needs the cow.
("dog" "needs" "cow" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The dog is red.
("dog" "is" "red" "+")
int4
The lion needs the dog.
("lion" "needs" "dog" "+")
int5
The dog does not need the cow.
False
5
inv-proof
[(((((((triple9) -> rule1) triple9) -> rule2)) -> rule5) OR ((((((((((triple9) -> rule1)) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule3)) -> rule2)) -> rule5))]
("dog" "needs" "cow" "-")
((((((triple9) -> (rule1 % int3)) triple9) -> (rule2 % int2))) -> (rule5 % int1))
The dog needs the cow.
("dog" "needs" "cow" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
The lion needs the dog.
("lion" "needs" "dog" "+")
int3
((((((((((triple9) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple9) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
The dog needs the cow.
("dog" "needs" "cow" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The dog is red.
("dog" "is" "red" "+")
int4
The lion needs the dog.
("lion" "needs" "dog" "+")
int5
The dog visits the dog.
True
8
proof
[(((((((((triple9) -> rule1)) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule3)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule3)) -> rule1) ((((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule1)) -> rule3)) -> rule2) OR ((((((((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule1)) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule3)) -> rule2) OR ((((((((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule1)) -> rule3)) -> rule1) ((((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule1)) -> rule3)) -> rule2))]
("dog" "visits" "dog" "+")
((((((((triple9) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple9) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The lion needs the dog.
("lion" "needs" "dog" "+")
int4
((((((((triple9) -> (rule1 % int8))) -> (rule3 % int7))) -> (rule1 % int6)) ((((((((((((triple9) -> (rule1 % int8)) triple9) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int7))) -> (rule2 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The dog needs the cow.
("dog" "needs" "cow" "+")
int4
The lion visits the dog.
("lion" "visits" "dog" "+")
int5
The dog needs the dog.
("dog" "needs" "dog" "+")
int6
The dog is red.
("dog" "is" "red" "+")
int7
The lion needs the dog.
("lion" "needs" "dog" "+")
int8
((((((((((((((((triple9) -> (rule1 % int8)) triple9) -> (rule2 % int7))) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple9) -> (rule1 % int8))) -> (rule3 % int3))) -> (rule2 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
The cow is red.
("cow" "is" "red" "+")
int5
The dog needs the cow.
("dog" "needs" "cow" "+")
int6
The lion visits the dog.
("lion" "visits" "dog" "+")
int7
The lion needs the dog.
("lion" "needs" "dog" "+")
int8
((((((((((((((((triple9) -> (rule1 % int8)) triple9) -> (rule2 % int7))) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((((((((((triple9) -> (rule1 % int8)) triple9) -> (rule2 % int7))) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
The cow is red.
("cow" "is" "red" "+")
int5
The dog needs the cow.
("dog" "needs" "cow" "+")
int6
The lion visits the dog.
("lion" "visits" "dog" "+")
int7
The lion needs the dog.
("lion" "needs" "dog" "+")
int8
The cow is not red.
False
6
inv-proof
[(((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6) OR ((((((((((((triple9) -> rule1)) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule3)) -> rule2)) -> rule5)) -> rule6))]
("cow" "is" "red" "-")
((((((((triple9) -> (rule1 % int4)) triple9) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The dog needs the cow.
("dog" "needs" "cow" "+")
int2
The lion visits the dog.
("lion" "visits" "dog" "+")
int3
The lion needs the dog.
("lion" "needs" "dog" "+")
int4
((((((((((((triple9) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple9) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The dog needs the cow.
("dog" "needs" "cow" "+")
int2
The dog visits the dog.
("dog" "visits" "dog" "+")
int3
The dog needs the dog.
("dog" "needs" "dog" "+")
int4
The dog is red.
("dog" "is" "red" "+")
int5
The lion needs the dog.
("lion" "needs" "dog" "+")
int6
The cow needs the dog.
True
7
proof
[(((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule1) OR ((((((((((((((triple9) -> rule1)) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule3)) -> rule2)) -> rule5)) -> rule6)) -> rule1))]
("cow" "needs" "dog" "+")
((((((((((triple9) -> (rule1 % int5)) triple9) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The dog needs the cow.
("dog" "needs" "cow" "+")
int3
The lion visits the dog.
("lion" "visits" "dog" "+")
int4
The lion needs the dog.
("lion" "needs" "dog" "+")
int5
((((((((((((((triple9) -> (rule1 % int7))) -> (rule3 % int6))) -> (rule1 % int5)) ((((triple9) -> (rule1 % int7))) -> (rule3 % int6))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The dog needs the cow.
("dog" "needs" "cow" "+")
int3
The dog visits the dog.
("dog" "visits" "dog" "+")
int4
The dog needs the dog.
("dog" "needs" "dog" "+")
int5
The dog is red.
("dog" "is" "red" "+")
int6
The lion needs the dog.
("lion" "needs" "dog" "+")
int7
The cow does not need the dog.
False
7
inv-proof
[(((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule1) OR ((((((((((((((triple9) -> rule1)) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule3)) -> rule2)) -> rule5)) -> rule6)) -> rule1))]
("cow" "needs" "dog" "-")
((((((((((triple9) -> (rule1 % int5)) triple9) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The dog needs the cow.
("dog" "needs" "cow" "+")
int3
The lion visits the dog.
("lion" "visits" "dog" "+")
int4
The lion needs the dog.
("lion" "needs" "dog" "+")
int5
((((((((((((((triple9) -> (rule1 % int7))) -> (rule3 % int6))) -> (rule1 % int5)) ((((triple9) -> (rule1 % int7))) -> (rule3 % int6))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The dog needs the cow.
("dog" "needs" "cow" "+")
int3
The dog visits the dog.
("dog" "visits" "dog" "+")
int4
The dog needs the dog.
("dog" "needs" "dog" "+")
int5
The dog is red.
("dog" "is" "red" "+")
int6
The lion needs the dog.
("lion" "needs" "dog" "+")
int7
The bear does not need the dog.
Unknown
inv-rconc
[@1: The bear needs the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "needs" "dog" "-")
The bear visits the dog.
Unknown
rconc
[@1: The bear visits the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "visits" "dog" "+")
The bear is not green.
Unknown
inv-rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "green" "-")
The dog chases the lion.
Unknown
random
[@0: The dog chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "lion" "+")
The lion is not kind.
Unknown
inv-random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
The lion does not chase the cow.
Unknown
inv-random
[@0: The lion chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "cow" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
The bear does not visit the cow.
Unknown
inv-random
[@0: The bear visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "cow" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
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 cow visits the bear.
Unknown
random
[@0: The cow visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "bear" "+")
@0: The bear chases the cow.[(triple1)] The bear is rough.[(triple2)] The cow chases the bear.[(triple3)] The cow chases the dog.[(triple4)] The cow visits the lion.[(triple5)] The dog visits the cow.[(triple6)] The lion does not chase the dog.[(triple7)] The lion does not need the cow.[(triple10)] The lion is cold.[(triple8)] The lion is red.[(triple9)] The lion visits the bear.[(triple11)] The lion visits the cow.[(triple12)] @1: The lion needs the dog.[(((triple9) -> rule1))] @2: The dog is red.[(((((triple9) -> rule1)) -> rule3) OR ((((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule1)) -> rule3))] The dog is rough.[(((((triple9) -> rule1)) -> rule7) OR ((((((((triple9) -> rule1)) -> rule3)) -> rule1)) -> rule7) OR ((((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule1)) -> rule7) OR ((((((((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule1)) -> rule3)) -> rule1)) -> rule7) OR ((((((((((((((((triple9) -> rule1)) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule3)) -> rule2)) -> rule5)) -> rule6)) -> rule1)) -> rule7))] The lion visits the dog.[(((((triple9) -> rule1) triple9) -> rule2))] @3: The dog needs the cow.[(((((((triple9) -> rule1) triple9) -> rule2)) -> rule5) OR ((((((((((triple9) -> rule1)) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule3)) -> rule2)) -> rule5))] The dog needs the dog.[(((((((triple9) -> rule1)) -> rule3)) -> rule1) OR ((((((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule1)) -> rule3)) -> rule1))] @4: The cow is red.[(((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6) OR ((((((((((((triple9) -> rule1)) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule3)) -> rule2)) -> rule5)) -> rule6))] The dog visits the dog.[(((((((((triple9) -> rule1)) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule3)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule3)) -> rule1) ((((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule1)) -> rule3)) -> rule2) OR ((((((((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule1)) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule3)) -> rule2) OR ((((((((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule1)) -> rule3)) -> rule1) ((((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule1)) -> rule3)) -> rule2))] @5: The cow needs the dog.[(((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule1) OR ((((((((((((((triple9) -> rule1)) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule3)) -> rule2)) -> rule5)) -> rule6)) -> rule1))] @6: The cow visits the dog.[(((((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule1) ((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule2) OR ((((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule1) ((((((((((((triple9) -> rule1)) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule3)) -> rule2)) -> rule5)) -> rule6)) -> rule2) OR ((((((((((((((((triple9) -> rule1)) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule3)) -> rule2)) -> rule5)) -> rule6)) -> rule1) ((((((((triple9) -> rule1) triple9) -> rule2)) -> rule5)) -> rule6)) -> rule2) OR ((((((((((((((((triple9) -> rule1)) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule3)) -> rule2)) -> rule5)) -> rule6)) -> rule1) ((((((((((((triple9) -> rule1)) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule3)) -> rule2)) -> rule5)) -> rule6)) -> rule2))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The cow chases the bear.
("cow" "chases" "bear" "+")
triple3
The cow chases the dog.
("cow" "chases" "dog" "+")
triple4
The cow visits the lion.
("cow" "visits" "lion" "+")
triple5
The dog visits the cow.
("dog" "visits" "cow" "+")
triple6
The lion does not chase the dog.
("lion" "chases" "dog" "-")
triple7
The lion does not need the cow.
("lion" "needs" "cow" "-")
triple10
The lion is cold.
("lion" "is" "cold" "+")
triple8
The lion is red.
("lion" "is" "red" "+")
triple9
The lion visits the bear.
("lion" "visits" "bear" "+")
triple11
The lion visits the cow.
("lion" "visits" "cow" "+")
triple12
The lion needs the dog.
("lion" "needs" "dog" "+")
((triple9) -> (rule1 % int1))
The lion needs the dog.
("lion" "needs" "dog" "+")
int1
The dog is red.
("dog" "is" "red" "+")
((((triple9) -> (rule1 % int2))) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The lion needs the dog.
("lion" "needs" "dog" "+")
int2
((((((((((((triple9) -> (rule1 % int6)) triple9) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The dog needs the cow.
("dog" "needs" "cow" "+")
int4
The lion visits the dog.
("lion" "visits" "dog" "+")
int5
The lion needs the dog.
("lion" "needs" "dog" "+")
int6
The dog is rough.
("dog" "is" "rough" "+")
((((triple9) -> (rule1 % int2))) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The lion needs the dog.
("lion" "needs" "dog" "+")
int2
((((((((triple9) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The lion needs the dog.
("lion" "needs" "dog" "+")
int4
((((((((((((triple9) -> (rule1 % int6)) triple9) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The dog needs the cow.
("dog" "needs" "cow" "+")
int4
The lion visits the dog.
("lion" "visits" "dog" "+")
int5
The lion needs the dog.
("lion" "needs" "dog" "+")
int6
((((((((((((((((triple9) -> (rule1 % int8)) triple9) -> (rule2 % int7))) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
The cow is red.
("cow" "is" "red" "+")
int5
The dog needs the cow.
("dog" "needs" "cow" "+")
int6
The lion visits the dog.
("lion" "visits" "dog" "+")
int7
The lion needs the dog.
("lion" "needs" "dog" "+")
int8
((((((((((((((((triple9) -> (rule1 % int8))) -> (rule3 % int7))) -> (rule1 % int6)) ((((triple9) -> (rule1 % int8))) -> (rule3 % int7))) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The dog needs the cow.
("dog" "needs" "cow" "+")
int4
The dog visits the dog.
("dog" "visits" "dog" "+")
int5
The dog needs the dog.
("dog" "needs" "dog" "+")
int6
The dog is red.
("dog" "is" "red" "+")
int7
The lion needs the dog.
("lion" "needs" "dog" "+")
int8
The lion visits the dog.
("lion" "visits" "dog" "+")
((((triple9) -> (rule1 % int2)) triple9) -> (rule2 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The lion needs the dog.
("lion" "needs" "dog" "+")
int2
The dog needs the cow.
("dog" "needs" "cow" "+")
((((((triple9) -> (rule1 % int3)) triple9) -> (rule2 % int2))) -> (rule5 % int1))
The dog needs the cow.
("dog" "needs" "cow" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
The lion needs the dog.
("lion" "needs" "dog" "+")
int3
((((((((((triple9) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple9) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
The dog needs the cow.
("dog" "needs" "cow" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The dog is red.
("dog" "is" "red" "+")
int4
The lion needs the dog.
("lion" "needs" "dog" "+")
int5
The dog needs the dog.
("dog" "needs" "dog" "+")
((((((triple9) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The lion needs the dog.
("lion" "needs" "dog" "+")
int3
((((((((((((((triple9) -> (rule1 % int7)) triple9) -> (rule2 % int6))) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
The cow is red.
("cow" "is" "red" "+")
int4
The dog needs the cow.
("dog" "needs" "cow" "+")
int5
The lion visits the dog.
("lion" "visits" "dog" "+")
int6
The lion needs the dog.
("lion" "needs" "dog" "+")
int7
The cow is red.
("cow" "is" "red" "+")
((((((((triple9) -> (rule1 % int4)) triple9) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The dog needs the cow.
("dog" "needs" "cow" "+")
int2
The lion visits the dog.
("lion" "visits" "dog" "+")
int3
The lion needs the dog.
("lion" "needs" "dog" "+")
int4
((((((((((((triple9) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple9) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The dog needs the cow.
("dog" "needs" "cow" "+")
int2
The dog visits the dog.
("dog" "visits" "dog" "+")
int3
The dog needs the dog.
("dog" "needs" "dog" "+")
int4
The dog is red.
("dog" "is" "red" "+")
int5
The lion needs the dog.
("lion" "needs" "dog" "+")
int6
The dog visits the dog.
("dog" "visits" "dog" "+")
((((((((triple9) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple9) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The lion needs the dog.
("lion" "needs" "dog" "+")
int4
((((((((triple9) -> (rule1 % int8))) -> (rule3 % int7))) -> (rule1 % int6)) ((((((((((((triple9) -> (rule1 % int8)) triple9) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int7))) -> (rule2 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The dog needs the cow.
("dog" "needs" "cow" "+")
int4
The lion visits the dog.
("lion" "visits" "dog" "+")
int5
The dog needs the dog.
("dog" "needs" "dog" "+")
int6
The dog is red.
("dog" "is" "red" "+")
int7
The lion needs the dog.
("lion" "needs" "dog" "+")
int8
((((((((((((((((triple9) -> (rule1 % int8)) triple9) -> (rule2 % int7))) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple9) -> (rule1 % int8))) -> (rule3 % int3))) -> (rule2 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
The cow is red.
("cow" "is" "red" "+")
int5
The dog needs the cow.
("dog" "needs" "cow" "+")
int6
The lion visits the dog.
("lion" "visits" "dog" "+")
int7
The lion needs the dog.
("lion" "needs" "dog" "+")
int8
((((((((((((((((triple9) -> (rule1 % int8)) triple9) -> (rule2 % int7))) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((((((((((triple9) -> (rule1 % int8)) triple9) -> (rule2 % int7))) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
The cow is red.
("cow" "is" "red" "+")
int5
The dog needs the cow.
("dog" "needs" "cow" "+")
int6
The lion visits the dog.
("lion" "visits" "dog" "+")
int7
The lion needs the dog.
("lion" "needs" "dog" "+")
int8
The cow needs the dog.
("cow" "needs" "dog" "+")
((((((((((triple9) -> (rule1 % int5)) triple9) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The dog needs the cow.
("dog" "needs" "cow" "+")
int3
The lion visits the dog.
("lion" "visits" "dog" "+")
int4
The lion needs the dog.
("lion" "needs" "dog" "+")
int5
((((((((((((((triple9) -> (rule1 % int7))) -> (rule3 % int6))) -> (rule1 % int5)) ((((triple9) -> (rule1 % int7))) -> (rule3 % int6))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The dog needs the cow.
("dog" "needs" "cow" "+")
int3
The dog visits the dog.
("dog" "visits" "dog" "+")
int4
The dog needs the dog.
("dog" "needs" "dog" "+")
int5
The dog is red.
("dog" "is" "red" "+")
int6
The lion needs the dog.
("lion" "needs" "dog" "+")
int7
The cow visits the dog.
("cow" "visits" "dog" "+")
((((((((((((triple9) -> (rule1 % int6)) triple9) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((((((((triple9) -> (rule1 % int6)) triple9) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int1))
The cow visits the dog.
("cow" "visits" "dog" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The dog needs the cow.
("dog" "needs" "cow" "+")
int4
The lion visits the dog.
("lion" "visits" "dog" "+")
int5
The lion needs the dog.
("lion" "needs" "dog" "+")
int6
((((((((((((triple9) -> (rule1 % int9)) triple9) -> (rule2 % int8))) -> (rule5 % int7))) -> (rule6 % int6))) -> (rule1 % int5)) ((((((((((((triple9) -> (rule1 % int9))) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple9) -> (rule1 % int9))) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule5 % int7))) -> (rule6 % int6))) -> (rule2 % int1))
The cow visits the dog.
("cow" "visits" "dog" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The dog is red.
("dog" "is" "red" "+")
int4
The cow needs the dog.
("cow" "needs" "dog" "+")
int5
The cow is red.
("cow" "is" "red" "+")
int6
The dog needs the cow.
("dog" "needs" "cow" "+")
int7
The lion visits the dog.
("lion" "visits" "dog" "+")
int8
The lion needs the dog.
("lion" "needs" "dog" "+")
int9
((((((((((((((((triple9) -> (rule1 % int9))) -> (rule3 % int8))) -> (rule1 % int7)) ((((triple9) -> (rule1 % int9))) -> (rule3 % int8))) -> (rule2 % int6))) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((((((triple9) -> (rule1 % int9)) triple9) -> (rule2 % int2))) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int1))
The cow visits the dog.
("cow" "visits" "dog" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
The cow is red.
("cow" "is" "red" "+")
int4
The dog needs the cow.
("dog" "needs" "cow" "+")
int5
The dog visits the dog.
("dog" "visits" "dog" "+")
int6
The dog needs the dog.
("dog" "needs" "dog" "+")
int7
The dog is red.
("dog" "is" "red" "+")
int8
The lion needs the dog.
("lion" "needs" "dog" "+")
int9
((((((((((((((((triple9) -> (rule1 % int8))) -> (rule3 % int7))) -> (rule1 % int6)) ((((triple9) -> (rule1 % int8))) -> (rule3 % int7))) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((((((((((((triple9) -> (rule1 % int8))) -> (rule3 % int7))) -> (rule1 % int6)) ((((triple9) -> (rule1 % int8))) -> (rule3 % int7))) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int1))
The cow visits the dog.
("cow" "visits" "dog" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The dog needs the cow.
("dog" "needs" "cow" "+")
int4
The dog visits the dog.
("dog" "visits" "dog" "+")
int5
The dog needs the dog.
("dog" "needs" "dog" "+")
int6
The dog is red.
("dog" "is" "red" "+")
int7
The lion needs the dog.
("lion" "needs" "dog" "+")
int8