The bald eagle chases the rabbit. The bald eagle is rough. The bald eagle needs the dog. The bald eagle sees the dog. The dog chases the lion. The dog sees the rabbit. The lion chases the dog. The lion is blue. The lion needs the bald eagle. The lion needs the dog. The lion needs the rabbit. The rabbit chases the dog. The rabbit needs the dog. The rabbit needs the lion. The rabbit sees the bald eagle. If someone needs the dog then the dog sees the lion. If someone needs the dog then the dog is cold. If someone needs the rabbit then they chase the dog.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
If someone needs the dog then the dog sees the lion.
((("someone" "needs" "dog" "+")) -> ("dog" "sees" "lion" "+"))
If someone needs the dog then the dog is cold.
((("someone" "needs" "dog" "+")) -> ("dog" "is" "cold" "+"))
If someone needs the rabbit then they chase the dog.
((("someone" "needs" "rabbit" "+")) -> ("someone" "chases" "dog" "+"))
The rabbit needs the dog.
True
1
proof
[(triple13)]
("rabbit" "needs" "dog" "+")
triple13
The lion does not need the rabbit.
False
1
inv-proof
[(triple11)]
("lion" "needs" "rabbit" "-")
triple11
The dog sees the lion.
True
2
proof
[(((triple10) -> rule1) OR ((triple13) -> rule1) OR ((triple3) -> rule1))]
("dog" "sees" "lion" "+")
((triple10) -> (rule1 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
((triple13) -> (rule1 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
((triple3) -> (rule1 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
The dog does not see the lion.
False
2
inv-proof
[(((triple10) -> rule1) OR ((triple13) -> rule1) OR ((triple3) -> rule1))]
("dog" "sees" "lion" "-")
((triple10) -> (rule1 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
((triple13) -> (rule1 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
((triple3) -> (rule1 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
The bald eagle does not chase the dog.
Unknown
inv-rconc
[@1: The bald eagle chases the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "chases" "dog" "-")
The dog chases the dog.
Unknown
rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "chases" "dog" "+")
The bald eagle does not see the rabbit.
Unknown
inv-random
[@0: The bald eagle sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "rabbit" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle needs the dog.[(triple3)] The bald eagle sees the dog.[(triple4)] The dog chases the lion.[(triple5)] The dog sees the rabbit.[(triple6)] The lion chases the dog.[(triple7 OR ((triple11) -> rule3))] The lion is blue.[(triple8)] The lion needs the bald eagle.[(triple9)] The lion needs the dog.[(triple10)] The lion needs the rabbit.[(triple11)] The rabbit chases the dog.[(triple12)] The rabbit needs the dog.[(triple13)] The rabbit needs the lion.[(triple14)] The rabbit sees the bald eagle.[(triple15)] @1: The dog is cold.[(((triple10) -> rule2) OR ((triple13) -> rule2) OR ((triple3) -> rule2))] The dog sees the lion.[(((triple10) -> rule1) OR ((triple13) -> rule1) OR ((triple3) -> rule1))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple3
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple4
The dog chases the lion.
("dog" "chases" "lion" "+")
triple5
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple6
The lion chases the dog.
("lion" "chases" "dog" "+")
triple7
((triple11) -> (rule3 % int1))
The lion chases the dog.
("lion" "chases" "dog" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
triple8
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple9
The lion needs the dog.
("lion" "needs" "dog" "+")
triple10
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple11
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple12
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple13
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple14
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple15
The dog is cold.
("dog" "is" "cold" "+")
((triple10) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
((triple13) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
((triple3) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog sees the lion.
("dog" "sees" "lion" "+")
((triple10) -> (rule1 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
((triple13) -> (rule1 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
((triple3) -> (rule1 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1