The bald eagle is big. The bald eagle sees the cow. The bald eagle visits the rabbit. The cow likes the bald eagle. The cow does not like the dog. The cow sees the dog. The cow visits the bald eagle. The cow visits the dog. The dog is cold. The dog is red. The dog does not like the cow. The dog visits the cow. The rabbit likes the dog. The rabbit sees the dog. The rabbit does not visit the cow. If someone visits the dog then they see the cow. If the bald eagle visits the cow then the bald eagle sees the cow. If someone visits the dog and the dog is nice then they are blue. If someone is big and not cold then they are not red. If someone visits the cow then they are red. If someone visits the dog then they are red. If someone visits the dog then the dog is red. If someone visits the dog then they do not like the rabbit.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow does not like the dog.
("cow" "likes" "dog" "-")
The cow sees the dog.
("cow" "sees" "dog" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is red.
("dog" "is" "red" "+")
The dog does not like the cow.
("dog" "likes" "cow" "-")
The dog visits the cow.
("dog" "visits" "cow" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
The rabbit does not visit the cow.
("rabbit" "visits" "cow" "-")
If someone visits the dog then they see the cow.
((("someone" "visits" "dog" "+")) -> ("someone" "sees" "cow" "+"))
If the bald eagle visits the cow then the bald eagle sees the cow.
((("bald eagle" "visits" "cow" "+")) -> ("bald eagle" "sees" "cow" "+"))
If someone visits the dog and the dog is nice then they are blue.
((("someone" "visits" "dog" "+") ("dog" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and not cold then they are not red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "red" "-"))
If someone visits the cow then they are red.
((("someone" "visits" "cow" "+")) -> ("someone" "is" "red" "+"))
If someone visits the dog then they are red.
((("someone" "visits" "dog" "+")) -> ("someone" "is" "red" "+"))
If someone visits the dog then the dog is red.
((("someone" "visits" "dog" "+")) -> ("dog" "is" "red" "+"))
If someone visits the dog then they do not like the rabbit.
((("someone" "visits" "dog" "+")) -> ("someone" "likes" "rabbit" "-"))
The rabbit does not visit the cow.
True
1
proof
[(triple15)]
("rabbit" "visits" "cow" "-")
triple15
The bald eagle does not see the cow.
False
1
inv-proof
[(triple2)]
("bald eagle" "sees" "cow" "-")
triple2
The cow does not like the rabbit.
True
2
proof
[(((triple8) -> rule8))]
("cow" "likes" "rabbit" "-")
((triple8) -> (rule8 % int1))
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
int1
The cow likes the rabbit.
False
2
inv-proof
[(((triple8) -> rule8))]
("cow" "likes" "rabbit" "+")
((triple8) -> (rule8 % int1))
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
int1
The dog does not see the cow.
Unknown
inv-rconc
[@1: The dog sees the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "sees" "cow" "-")
The rabbit is blue.
Unknown
rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "blue" "+")
The dog does not visit the bald eagle.
Unknown
inv-random
[@0: The dog visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "bald eagle" "-")
The dog visits the rabbit.
Unknown
random
[@0: The dog visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "rabbit" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle sees the cow.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The cow does not like the dog.[(triple5)] The cow likes the bald eagle.[(triple4)] The cow sees the dog.[(triple6)] The cow visits the bald eagle.[(triple7)] The cow visits the dog.[(triple8)] The dog does not like the cow.[(triple11)] The dog is cold.[(triple9)] The dog is red.[(triple10 OR ((triple12) -> rule5) OR ((triple8) -> rule7))] The dog visits the cow.[(triple12)] The rabbit does not visit the cow.[(triple15)] The rabbit likes the dog.[(triple13)] The rabbit sees the dog.[(triple14)] @1: The cow does not like the rabbit.[(((triple8) -> rule8))] The cow is red.[(((triple8) -> rule6))] The cow sees the cow.[(((triple8) -> rule1))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple3
The cow does not like the dog.
("cow" "likes" "dog" "-")
triple5
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple4
The cow sees the dog.
("cow" "sees" "dog" "+")
triple6
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple7
The cow visits the dog.
("cow" "visits" "dog" "+")
triple8
The dog does not like the cow.
("dog" "likes" "cow" "-")
triple11
The dog is cold.
("dog" "is" "cold" "+")
triple9
The dog is red.
("dog" "is" "red" "+")
triple10
((triple12) -> (rule5 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
((triple8) -> (rule7 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog visits the cow.
("dog" "visits" "cow" "+")
triple12
The rabbit does not visit the cow.
("rabbit" "visits" "cow" "-")
triple15
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple13
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple14
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
((triple8) -> (rule8 % int1))
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
int1
The cow is red.
("cow" "is" "red" "+")
((triple8) -> (rule6 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple8) -> (rule1 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1