The bald eagle needs the tiger. The dog eats the bald eagle. The dog is green. The dog is rough. The dog is round. The dog likes the tiger. The dog needs the lion. The lion eats the bald eagle. The lion is green. The lion needs the dog. The tiger eats the lion. The tiger needs the lion. If something needs the bald eagle then it likes the dog. If something likes the dog and the dog needs the lion then the lion is blue. If something eats the dog then the dog needs the bald eagle. If something needs the bald eagle and the bald eagle likes the dog then the dog needs the lion. If the tiger eats the lion then the lion likes the dog. If something is blue then it eats the dog. If something needs the lion then the lion needs the dog. If something needs the dog and it needs the lion then the lion is green.
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is green.
("lion" "is" "green" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
If something needs the bald eagle then it likes the dog.
((("something" "needs" "bald eagle" "+")) -> ("something" "likes" "dog" "+"))
If something likes the dog and the dog needs the lion then the lion is blue.
((("something" "likes" "dog" "+") ("dog" "needs" "lion" "+")) -> ("lion" "is" "blue" "+"))
If something eats the dog then the dog needs the bald eagle.
((("something" "eats" "dog" "+")) -> ("dog" "needs" "bald eagle" "+"))
If something needs the bald eagle and the bald eagle likes the dog then the dog needs the lion.
((("something" "needs" "bald eagle" "+") ("bald eagle" "likes" "dog" "+")) -> ("dog" "needs" "lion" "+"))
If the tiger eats the lion then the lion likes the dog.
((("tiger" "eats" "lion" "+")) -> ("lion" "likes" "dog" "+"))
If something is blue then it eats the dog.
((("something" "is" "blue" "+")) -> ("something" "eats" "dog" "+"))
If something needs the lion then the lion needs the dog.
((("something" "needs" "lion" "+")) -> ("lion" "needs" "dog" "+"))
If something needs the dog and it needs the lion then the lion is green.
((("something" "needs" "dog" "+") ("something" "needs" "lion" "+")) -> ("lion" "is" "green" "+"))
The dog is round.
True
1
proof
[(triple5)]
("dog" "is" "round" "+")
triple5
The dog is not round.
False
1
inv-proof
[(triple5)]
("dog" "is" "round" "-")
triple5
The lion likes the dog.
True
2
proof
[(((triple11) -> rule5))]
("lion" "likes" "dog" "+")
((triple11) -> (rule5 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The lion does not like the dog.
False
2
inv-proof
[(((triple11) -> rule5))]
("lion" "likes" "dog" "-")
((triple11) -> (rule5 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The lion is blue.
True
4
proof
[(((((triple11) -> rule5) triple7) -> rule2))]
("lion" "is" "blue" "+")
((((triple11) -> (rule5 % int2)) triple7) -> (rule2 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion likes the dog.
("lion" "likes" "dog" "+")
int2
The lion is not blue.
False
4
inv-proof
[(((((triple11) -> rule5) triple7) -> rule2))]
("lion" "is" "blue" "-")
((((triple11) -> (rule5 % int2)) triple7) -> (rule2 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion likes the dog.
("lion" "likes" "dog" "+")
int2
The lion eats the dog.
True
5
proof
[(((((((triple11) -> rule5) triple7) -> rule2)) -> rule6))]
("lion" "eats" "dog" "+")
((((((triple11) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule6 % int1))
The lion eats the dog.
("lion" "eats" "dog" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion likes the dog.
("lion" "likes" "dog" "+")
int3
The lion does not eat the dog.
False
5
inv-proof
[(((((((triple11) -> rule5) triple7) -> rule2)) -> rule6))]
("lion" "eats" "dog" "-")
((((((triple11) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule6 % int1))
The lion eats the dog.
("lion" "eats" "dog" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion likes the dog.
("lion" "likes" "dog" "+")
int3
The dog needs the bald eagle.
True
6
proof
[(((((((((triple11) -> rule5) triple7) -> rule2)) -> rule6)) -> rule3))]
("dog" "needs" "bald eagle" "+")
((((((((triple11) -> (rule5 % int4)) triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The lion eats the dog.
("lion" "eats" "dog" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
The lion likes the dog.
("lion" "likes" "dog" "+")
int4
The dog does not need the bald eagle.
False
6
inv-proof
[(((((((((triple11) -> rule5) triple7) -> rule2)) -> rule6)) -> rule3))]
("dog" "needs" "bald eagle" "-")
((((((((triple11) -> (rule5 % int4)) triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The lion eats the dog.
("lion" "eats" "dog" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
The lion likes the dog.
("lion" "likes" "dog" "+")
int4
The dog likes the dog.
True
7
proof
[(((((((((((triple11) -> rule5) triple7) -> rule2)) -> rule6)) -> rule3)) -> rule1))]
("dog" "likes" "dog" "+")
((((((((((triple11) -> (rule5 % int5)) triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The lion eats the dog.
("lion" "eats" "dog" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
The lion likes the dog.
("lion" "likes" "dog" "+")
int5
The dog does not like the dog.
False
7
inv-proof
[(((((((((((triple11) -> rule5) triple7) -> rule2)) -> rule6)) -> rule3)) -> rule1))]
("dog" "likes" "dog" "-")
((((((((((triple11) -> (rule5 % int5)) triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The lion eats the dog.
("lion" "eats" "dog" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
The lion likes the dog.
("lion" "likes" "dog" "+")
int5
The bald eagle does not eat the dog.
Unknown
inv-rconc
[@1: The bald eagle eats the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "eats" "dog" "-")
The dog eats the dog.
Unknown
rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "eats" "dog" "+")
The tiger does not like the dog.
Unknown
inv-rconc
[@1: The tiger likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "likes" "dog" "-")
The bald eagle likes the dog.
Unknown
rconc
[@1: The bald eagle likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "dog" "+")
The tiger does not eat the dog.
Unknown
inv-rconc
[@1: The tiger eats the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "eats" "dog" "-")
The lion eats the tiger.
Unknown
random
[@0: The lion eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "tiger" "+")
The lion does not like the bald eagle.
Unknown
inv-random
[@0: The lion likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "bald eagle" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
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 tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
The tiger is not rough.
Unknown
inv-random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle needs the tiger.[(triple1)] The dog eats the bald eagle.[(triple2)] The dog is green.[(triple3)] The dog is rough.[(triple4)] The dog is round.[(triple5)] The dog likes the tiger.[(triple6)] The dog needs the lion.[(triple7)] The lion eats the bald eagle.[(triple8)] The lion is green.[(triple9)] The lion needs the dog.[(triple10 OR ((triple12) -> rule7) OR ((triple7) -> rule7))] The tiger eats the lion.[(triple11)] The tiger needs the lion.[(triple12)] @1: The lion likes the dog.[(((triple11) -> rule5))] @2: The lion is blue.[(((((triple11) -> rule5) triple7) -> rule2))] @3: The lion eats the dog.[(((((((triple11) -> rule5) triple7) -> rule2)) -> rule6))] @4: The dog needs the bald eagle.[(((((((((triple11) -> rule5) triple7) -> rule2)) -> rule6)) -> rule3))] @5: The dog likes the dog.[(((((((((((triple11) -> rule5) triple7) -> rule2)) -> rule6)) -> rule3)) -> rule1))]
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The dog is rough.
("dog" "is" "rough" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple6
The dog needs the lion.
("dog" "needs" "lion" "+")
triple7
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple8
The lion is green.
("lion" "is" "green" "+")
triple9
The lion needs the dog.
("lion" "needs" "dog" "+")
triple10
((triple12) -> (rule7 % int1))
The lion needs the dog.
("lion" "needs" "dog" "+")
int1
((triple7) -> (rule7 % int1))
The lion needs the dog.
("lion" "needs" "dog" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple11
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple12
The lion likes the dog.
("lion" "likes" "dog" "+")
((triple11) -> (rule5 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
((((triple11) -> (rule5 % int2)) triple7) -> (rule2 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion likes the dog.
("lion" "likes" "dog" "+")
int2
The lion eats the dog.
("lion" "eats" "dog" "+")
((((((triple11) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule6 % int1))
The lion eats the dog.
("lion" "eats" "dog" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion likes the dog.
("lion" "likes" "dog" "+")
int3
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
((((((((triple11) -> (rule5 % int4)) triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The lion eats the dog.
("lion" "eats" "dog" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
The lion likes the dog.
("lion" "likes" "dog" "+")
int4
The dog likes the dog.
("dog" "likes" "dog" "+")
((((((((((triple11) -> (rule5 % int5)) triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The lion eats the dog.
("lion" "eats" "dog" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
The lion likes the dog.
("lion" "likes" "dog" "+")
int5