The bald eagle likes the dog. The bald eagle likes the rabbit. The bald eagle needs the dog. The cow likes the rabbit. The cow needs the bald eagle. The cow needs the dog. The dog likes the rabbit. The dog visits the bald eagle. The dog visits the rabbit. The rabbit is green. The rabbit is young. The rabbit likes the bald eagle. The rabbit likes the dog. The rabbit visits the cow. The rabbit visits the dog. If someone likes the cow and the cow is green then they are red. If someone visits the cow then they are red. If someone is young then they visit the dog. If the rabbit likes the dog and the dog visits the cow then the cow likes the rabbit. If someone visits the dog then they are round. If someone likes the bald eagle and the bald eagle likes the rabbit then they visit the rabbit. If someone visits the dog then the dog is young. If someone needs the dog then the dog is green.
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If someone likes the cow and the cow is green then they are red.
((("someone" "likes" "cow" "+") ("cow" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone visits the cow then they are red.
((("someone" "visits" "cow" "+")) -> ("someone" "is" "red" "+"))
If someone is young then they visit the dog.
((("someone" "is" "young" "+")) -> ("someone" "visits" "dog" "+"))
If the rabbit likes the dog and the dog visits the cow then the cow likes the rabbit.
((("rabbit" "likes" "dog" "+") ("dog" "visits" "cow" "+")) -> ("cow" "likes" "rabbit" "+"))
If someone visits the dog then they are round.
((("someone" "visits" "dog" "+")) -> ("someone" "is" "round" "+"))
If someone likes the bald eagle and the bald eagle likes the rabbit then they visit the rabbit.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "likes" "rabbit" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone visits the dog then the dog is young.
((("someone" "visits" "dog" "+")) -> ("dog" "is" "young" "+"))
If someone needs the dog then the dog is green.
((("someone" "needs" "dog" "+")) -> ("dog" "is" "green" "+"))
The bald eagle likes the dog.
True
1
proof
[(triple1)]
("bald eagle" "likes" "dog" "+")
triple1
The dog does not visit the bald eagle.
False
1
inv-proof
[(triple8)]
("dog" "visits" "bald eagle" "-")
triple8
The rabbit visits the rabbit.
True
3
proof
[(((triple12 triple2) -> rule6))]
("rabbit" "visits" "rabbit" "+")
((triple12 triple2) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is not red.
False
2
inv-proof
[(((triple14) -> rule2))]
("rabbit" "is" "red" "-")
((triple14) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The dog visits the dog.
True
3
proof
[(((((triple15) -> rule7)) -> rule3) OR ((((((triple11) -> rule3)) -> rule7)) -> rule3))]
("dog" "visits" "dog" "+")
((((triple15) -> (rule7 % int2))) -> (rule3 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
((((((triple11) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int3
The dog does not visit the dog.
False
3
inv-proof
[(((((triple15) -> rule7)) -> rule3) OR ((((((triple11) -> rule3)) -> rule7)) -> rule3))]
("dog" "visits" "dog" "-")
((((triple15) -> (rule7 % int2))) -> (rule3 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
((((((triple11) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int3
The dog is round.
True
4
proof
[(((((((triple15) -> rule7)) -> rule3)) -> rule5) OR ((((((((triple11) -> rule3)) -> rule7)) -> rule3)) -> rule5))]
("dog" "is" "round" "+")
((((((triple15) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
((((((((triple11) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
The dog is not round.
False
4
inv-proof
[(((((((triple15) -> rule7)) -> rule3)) -> rule5) OR ((((((((triple11) -> rule3)) -> rule7)) -> rule3)) -> rule5))]
("dog" "is" "round" "-")
((((((triple15) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
((((((((triple11) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4
The dog is not red.
Unknown
inv-rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "red" "-")
The cow is red.
Unknown
rconc
[@1: The cow is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "red" "+")
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "red" "-")
The cow visits the rabbit.
Unknown
rconc
[@1: The cow visits the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "visits" "rabbit" "+")
The bald eagle does not need the cow.
Unknown
inv-random
[@0: The bald eagle needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cow" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
The cow does not visit the bald eagle.
Unknown
inv-random
[@0: The cow visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "bald eagle" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The bald eagle likes the dog.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The bald eagle needs the dog.[(triple3)] The cow likes the rabbit.[(triple4)] The cow needs the bald eagle.[(triple5)] The cow needs the dog.[(triple6)] The dog likes the rabbit.[(triple7)] The dog visits the bald eagle.[(triple8)] The dog visits the rabbit.[(triple9)] The rabbit is green.[(triple10)] The rabbit is young.[(triple11)] The rabbit likes the bald eagle.[(triple12)] The rabbit likes the dog.[(triple13)] The rabbit visits the cow.[(triple14)] The rabbit visits the dog.[(triple15 OR ((triple11) -> rule3))] @1: The dog is green.[(((triple3) -> rule8) OR ((triple6) -> rule8))] The dog is young.[(((triple15) -> rule7) OR ((((triple11) -> rule3)) -> rule7))] The rabbit is red.[(((triple14) -> rule2))] The rabbit is round.[(((triple15) -> rule5) OR ((((triple11) -> rule3)) -> rule5))] The rabbit visits the rabbit.[(((triple12 triple2) -> rule6))] @2: The dog visits the dog.[(((((triple15) -> rule7)) -> rule3) OR ((((((triple11) -> rule3)) -> rule7)) -> rule3))] @3: The dog is round.[(((((((triple15) -> rule7)) -> rule3)) -> rule5) OR ((((((((triple11) -> rule3)) -> rule7)) -> rule3)) -> rule5))]
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple3
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple4
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple5
The cow needs the dog.
("cow" "needs" "dog" "+")
triple6
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple7
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple8
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple9
The rabbit is green.
("rabbit" "is" "green" "+")
triple10
The rabbit is young.
("rabbit" "is" "young" "+")
triple11
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple12
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple13
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple14
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple15
((triple11) -> (rule3 % int1))
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int1
The dog is green.
("dog" "is" "green" "+")
((triple3) -> (rule8 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
((triple6) -> (rule8 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is young.
("dog" "is" "young" "+")
((triple15) -> (rule7 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
((((triple11) -> (rule3 % int2))) -> (rule7 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
((triple14) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
((triple15) -> (rule5 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
((((triple11) -> (rule3 % int2))) -> (rule5 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((triple12 triple2) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
((((triple15) -> (rule7 % int2))) -> (rule3 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
((((((triple11) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int3
The dog is round.
("dog" "is" "round" "+")
((((((triple15) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
((((((((triple11) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int4