The cow is blue. The cow is young. The dog needs the lion. The lion eats the cow. The lion eats the dog. The lion is blue. The lion visits the dog. The squirrel needs the dog. The squirrel needs the lion. The squirrel does not visit the cow. The squirrel does not visit the dog. If something needs the lion and the lion eats the squirrel then it needs the squirrel. If something eats the lion then it does not need the squirrel. If something needs the dog then it needs the squirrel. If something needs the lion then it visits the lion. If the dog visits the cow then the dog eats the lion. If the dog visits the lion then the dog visits the cow. If something needs the cow then it does not visit the squirrel. If something is young and green then it eats the dog. If something eats the lion and it does not need the squirrel then the squirrel is not cold.
The cow is blue.
("cow" "is" "blue" "+")
The cow is young.
("cow" "is" "young" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
The squirrel does not visit the dog.
("squirrel" "visits" "dog" "-")
If something needs the lion and the lion eats the squirrel then it needs the squirrel.
((("something" "needs" "lion" "+") ("lion" "eats" "squirrel" "+")) -> ("something" "needs" "squirrel" "+"))
If something eats the lion then it does not need the squirrel.
((("something" "eats" "lion" "+")) -> ("something" "needs" "squirrel" "-"))
If something needs the dog then it needs the squirrel.
((("something" "needs" "dog" "+")) -> ("something" "needs" "squirrel" "+"))
If something needs the lion then it visits the lion.
((("something" "needs" "lion" "+")) -> ("something" "visits" "lion" "+"))
If the dog visits the cow then the dog eats the lion.
((("dog" "visits" "cow" "+")) -> ("dog" "eats" "lion" "+"))
If the dog visits the lion then the dog visits the cow.
((("dog" "visits" "lion" "+")) -> ("dog" "visits" "cow" "+"))
If something needs the cow then it does not visit the squirrel.
((("something" "needs" "cow" "+")) -> ("something" "visits" "squirrel" "-"))
If something is young and green then it eats the dog.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "eats" "dog" "+"))
If something eats the lion and it does not need the squirrel then the squirrel is not cold.
((("something" "eats" "lion" "+") ("something" "needs" "squirrel" "~")) -> ("squirrel" "is" "cold" "-"))
The lion visits the dog.
True
1
proof
[(triple7)]
("lion" "visits" "dog" "+")
triple7
The lion does not visit the dog.
False
1
inv-proof
[(triple7)]
("lion" "visits" "dog" "-")
triple7
The squirrel needs the squirrel.
True
2
proof
[(((triple8) -> rule3))]
("squirrel" "needs" "squirrel" "+")
((triple8) -> (rule3 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel does not need the squirrel.
False
2
inv-proof
[(((triple8) -> rule3))]
("squirrel" "needs" "squirrel" "-")
((triple8) -> (rule3 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The dog visits the cow.
True
3
proof
[(((((triple3) -> rule4)) -> rule6))]
("dog" "visits" "cow" "+")
((((triple3) -> (rule4 % int2))) -> (rule6 % int1))
The dog visits the cow.
("dog" "visits" "cow" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The dog does not visit the cow.
False
3
inv-proof
[(((((triple3) -> rule4)) -> rule6))]
("dog" "visits" "cow" "-")
((((triple3) -> (rule4 % int2))) -> (rule6 % int1))
The dog visits the cow.
("dog" "visits" "cow" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The dog eats the lion.
True
4
proof
[(((((((triple3) -> rule4)) -> rule6)) -> rule5))]
("dog" "eats" "lion" "+")
((((((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog visits the cow.
("dog" "visits" "cow" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The dog does not eat the lion.
False
4
inv-proof
[(((((((triple3) -> rule4)) -> rule6)) -> rule5))]
("dog" "eats" "lion" "-")
((((((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog visits the cow.
("dog" "visits" "cow" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The dog does not need the squirrel.
True
5
proof
[(((((((((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule2))]
("dog" "needs" "squirrel" "-")
((((((((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The dog visits the cow.
("dog" "visits" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The dog needs the squirrel.
False
5
inv-proof
[(((((((((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule2))]
("dog" "needs" "squirrel" "+")
((((((((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The dog visits the cow.
("dog" "visits" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The squirrel is not cold.
True
10
proof
[(((((((((triple3) -> rule4)) -> rule6)) -> rule5) ((((((((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule2)) -> rule9))]
("squirrel" "is" "cold" "-")
((((((((triple3) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule5 % int3)) ((((((((triple3) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The squirrel is not cold.
("squirrel" "is" "cold" "-")
int1
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
int2
The dog eats the lion.
("dog" "eats" "lion" "+")
int3
The dog visits the cow.
("dog" "visits" "cow" "+")
int4
The dog visits the lion.
("dog" "visits" "lion" "+")
int5
The squirrel is cold.
False
10
inv-proof
[(((((((((triple3) -> rule4)) -> rule6)) -> rule5) ((((((((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule2)) -> rule9))]
("squirrel" "is" "cold" "+")
((((((((triple3) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule5 % int3)) ((((((((triple3) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The squirrel is not cold.
("squirrel" "is" "cold" "-")
int1
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
int2
The dog eats the lion.
("dog" "eats" "lion" "+")
int3
The dog visits the cow.
("dog" "visits" "cow" "+")
int4
The dog visits the lion.
("dog" "visits" "lion" "+")
int5
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "eats" "dog" "-")
The lion visits the lion.
Unknown
rconc
[@1: The lion visits the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "visits" "lion" "+")
The squirrel does not eat the dog.
Unknown
inv-rconc
[@1: The squirrel eats the dog.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "eats" "dog" "-")
The cow visits the lion.
Unknown
rconc
[@1: The cow visits the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "visits" "lion" "+")
The cow does not need the squirrel.
Unknown
inv-rconc
[@1: The cow needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "needs" "squirrel" "-")
The cow eats the dog.
Unknown
rconc
[@1: The cow eats the dog.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "eats" "dog" "+")
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
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 dog visits the squirrel.
Unknown
random
[@0: The dog visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "squirrel" "+")
The lion is not cold.
Unknown
inv-random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "-")
The dog is big.
Unknown
random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "+")
@0: The cow is blue.[(triple1)] The cow is young.[(triple2)] The dog needs the lion.[(triple3)] The lion eats the cow.[(triple4)] The lion eats the dog.[(triple5)] The lion is blue.[(triple6)] The lion visits the dog.[(triple7)] The squirrel does not visit the cow.[(triple10)] The squirrel does not visit the dog.[(triple11)] The squirrel needs the dog.[(triple8)] The squirrel needs the lion.[(triple9)] @1: The dog visits the lion.[(((triple3) -> rule4))] The squirrel needs the squirrel.[(((triple8) -> rule3))] The squirrel visits the lion.[(((triple9) -> rule4))] @2: The dog visits the cow.[(((((triple3) -> rule4)) -> rule6))] @3: The dog eats the lion.[(((((((triple3) -> rule4)) -> rule6)) -> rule5))] @4: The dog does not need the squirrel.[(((((((((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule2))] @5: The squirrel is not cold.[(((((((((triple3) -> rule4)) -> rule6)) -> rule5) ((((((((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule2)) -> rule9))]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is young.
("cow" "is" "young" "+")
triple2
The dog needs the lion.
("dog" "needs" "lion" "+")
triple3
The lion eats the cow.
("lion" "eats" "cow" "+")
triple4
The lion eats the dog.
("lion" "eats" "dog" "+")
triple5
The lion is blue.
("lion" "is" "blue" "+")
triple6
The lion visits the dog.
("lion" "visits" "dog" "+")
triple7
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
triple10
The squirrel does not visit the dog.
("squirrel" "visits" "dog" "-")
triple11
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple8
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple9
The dog visits the lion.
("dog" "visits" "lion" "+")
((triple3) -> (rule4 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple8) -> (rule3 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
((triple9) -> (rule4 % int1))
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int1
The dog visits the cow.
("dog" "visits" "cow" "+")
((((triple3) -> (rule4 % int2))) -> (rule6 % int1))
The dog visits the cow.
("dog" "visits" "cow" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The dog eats the lion.
("dog" "eats" "lion" "+")
((((((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog visits the cow.
("dog" "visits" "cow" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
((((((((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The dog visits the cow.
("dog" "visits" "cow" "+")
int3
The dog visits the lion.
("dog" "visits" "lion" "+")
int4
The squirrel is not cold.
("squirrel" "is" "cold" "-")
((((((((triple3) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule5 % int3)) ((((((((triple3) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The squirrel is not cold.
("squirrel" "is" "cold" "-")
int1
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
int2
The dog eats the lion.
("dog" "eats" "lion" "+")
int3
The dog visits the cow.
("dog" "visits" "cow" "+")
int4
The dog visits the lion.
("dog" "visits" "lion" "+")
int5