The bald eagle is blue. The bald eagle needs the dog. The bald eagle needs the squirrel. The dog is cold. The dog visits the bald eagle. The lion likes the bald eagle. The lion needs the dog. The lion needs the squirrel. The lion visits the bald eagle. The squirrel is big. The squirrel visits the dog. If the squirrel is round then the squirrel is red. If something likes the lion and the lion is blue then it likes the squirrel. If something is big and it needs the lion then the lion is big. If something needs the dog then it needs the lion. If something needs the squirrel and it is big then it visits the dog. If something visits the dog then it likes the dog. If the lion needs the squirrel and the squirrel visits the dog then the squirrel needs the dog.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If the squirrel is round then the squirrel is red.
((("squirrel" "is" "round" "+")) -> ("squirrel" "is" "red" "+"))
If something likes the lion and the lion is blue then it likes the squirrel.
((("something" "likes" "lion" "+") ("lion" "is" "blue" "+")) -> ("something" "likes" "squirrel" "+"))
If something is big and it needs the lion then the lion is big.
((("something" "is" "big" "+") ("something" "needs" "lion" "+")) -> ("lion" "is" "big" "+"))
If something needs the dog then it needs the lion.
((("something" "needs" "dog" "+")) -> ("something" "needs" "lion" "+"))
If something needs the squirrel and it is big then it visits the dog.
((("something" "needs" "squirrel" "+") ("something" "is" "big" "+")) -> ("something" "visits" "dog" "+"))
If something visits the dog then it likes the dog.
((("something" "visits" "dog" "+")) -> ("something" "likes" "dog" "+"))
If the lion needs the squirrel and the squirrel visits the dog then the squirrel needs the dog.
((("lion" "needs" "squirrel" "+") ("squirrel" "visits" "dog" "+")) -> ("squirrel" "needs" "dog" "+"))
The dog is cold.
True
1
proof
[(triple4)]
("dog" "is" "cold" "+")
triple4
The squirrel does not visit the dog.
False
1
inv-proof
[(triple11)]
("squirrel" "visits" "dog" "-")
triple11
The lion needs the lion.
True
2
proof
[(((triple7) -> rule4))]
("lion" "needs" "lion" "+")
((triple7) -> (rule4 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The squirrel does not need the dog.
False
3
inv-proof
[(((triple8 triple11) -> rule7))]
("squirrel" "needs" "dog" "-")
((triple8 triple11) -> (rule7 % int1))
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int1
The squirrel needs the lion.
True
4
proof
[(((((triple8 triple11) -> rule7)) -> rule4))]
("squirrel" "needs" "lion" "+")
((((triple8 triple11) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int2
The squirrel does not need the lion.
False
4
inv-proof
[(((((triple8 triple11) -> rule7)) -> rule4))]
("squirrel" "needs" "lion" "-")
((((triple8 triple11) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int2
The lion is big.
True
6
proof
[(((triple10 ((((triple8 triple11) -> rule7)) -> rule4)) -> rule3))]
("lion" "is" "big" "+")
((triple10 ((((triple8 triple11) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int3
The lion is not big.
False
6
inv-proof
[(((triple10 ((((triple8 triple11) -> rule7)) -> rule4)) -> rule3))]
("lion" "is" "big" "-")
((triple10 ((((triple8 triple11) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int3
The lion visits the dog.
True
8
proof
[(((triple8 ((triple10 ((((triple8 triple11) -> rule7)) -> rule4)) -> rule3)) -> rule5))]
("lion" "visits" "dog" "+")
((triple8 ((triple10 ((((triple8 triple11) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int4
The lion does not visit the dog.
False
8
inv-proof
[(((triple8 ((triple10 ((((triple8 triple11) -> rule7)) -> rule4)) -> rule3)) -> rule5))]
("lion" "visits" "dog" "-")
((triple8 ((triple10 ((((triple8 triple11) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int4
The lion likes the dog.
True
9
proof
[(((((triple8 ((triple10 ((((triple8 triple11) -> rule7)) -> rule4)) -> rule3)) -> rule5)) -> rule6))]
("lion" "likes" "dog" "+")
((((triple8 ((triple10 ((((triple8 triple11) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
The lion is big.
("lion" "is" "big" "+")
int3
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int4
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int5
The lion does not like the dog.
False
9
inv-proof
[(((((triple8 ((triple10 ((((triple8 triple11) -> rule7)) -> rule4)) -> rule3)) -> rule5)) -> rule6))]
("lion" "likes" "dog" "-")
((((triple8 ((triple10 ((((triple8 triple11) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
The lion is big.
("lion" "is" "big" "+")
int3
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int4
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int5
The bald eagle does not like the squirrel.
Unknown
inv-rconc
[@1: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "squirrel" "-")
The lion likes the squirrel.
Unknown
rconc
[@1: The lion likes the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "likes" "squirrel" "+")
The bald eagle does not visit the dog.
Unknown
inv-rconc
[@1: The bald eagle visits the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "visits" "dog" "-")
The dog likes the squirrel.
Unknown
rconc
[@1: The dog likes the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "likes" "squirrel" "+")
The squirrel is not red.
Unknown
inv-rconc
[@1: The squirrel is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "red" "-")
The dog likes the dog.
Unknown
rconc
[@2: The dog likes the dog.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("dog" "likes" "dog" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The dog likes the lion.
Unknown
random
[@0: The dog likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "lion" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
The bald eagle likes the lion.
Unknown
random
[@0: The bald eagle likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "lion" "+")
The squirrel is not round.
Unknown
inv-random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "-")
The lion needs the bald eagle.
Unknown
random
[@0: The lion needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "bald eagle" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle needs the dog.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The dog is cold.[(triple4)] The dog visits the bald eagle.[(triple5)] The lion likes the bald eagle.[(triple6)] The lion needs the dog.[(triple7)] The lion needs the squirrel.[(triple8)] The lion visits the bald eagle.[(triple9)] The squirrel is big.[(triple10)] The squirrel visits the dog.[(triple11)] @1: The bald eagle needs the lion.[(((triple2) -> rule4))] The lion needs the lion.[(((triple7) -> rule4))] The squirrel likes the dog.[(((triple11) -> rule6))] The squirrel needs the dog.[(((triple8 triple11) -> rule7))] @2: The squirrel needs the lion.[(((((triple8 triple11) -> rule7)) -> rule4))] @3: The lion is big.[(((triple10 ((((triple8 triple11) -> rule7)) -> rule4)) -> rule3))] @4: The lion visits the dog.[(((triple8 ((triple10 ((((triple8 triple11) -> rule7)) -> rule4)) -> rule3)) -> rule5))] @5: The lion likes the dog.[(((((triple8 ((triple10 ((((triple8 triple11) -> rule7)) -> rule4)) -> rule3)) -> rule5)) -> rule6))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple3
The dog is cold.
("dog" "is" "cold" "+")
triple4
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple5
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple6
The lion needs the dog.
("lion" "needs" "dog" "+")
triple7
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple8
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple11
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
((triple2) -> (rule4 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
((triple7) -> (rule4 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
((triple11) -> (rule6 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
((triple8 triple11) -> (rule7 % int1))
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
((((triple8 triple11) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int2
The lion is big.
("lion" "is" "big" "+")
((triple10 ((((triple8 triple11) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int3
The lion visits the dog.
("lion" "visits" "dog" "+")
((triple8 ((triple10 ((((triple8 triple11) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int4
The lion likes the dog.
("lion" "likes" "dog" "+")
((((triple8 ((triple10 ((((triple8 triple11) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
The lion is big.
("lion" "is" "big" "+")
int3
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int4
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int5