The bald eagle chases the dog. The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The dog is green. The rabbit chases the bald eagle. The rabbit eats the bald eagle. The rabbit eats the dog. The tiger chases the bald eagle. The tiger is green. The tiger is nice. The tiger is red. All red people are nice. If someone sees the dog and the dog is green then they eat the bald eagle.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The dog is green.
("dog" "is" "green" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
All red people are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone sees the dog and the dog is green then they eat the bald eagle.
((("someone" "sees" "dog" "+") ("dog" "is" "green" "+")) -> ("someone" "eats" "bald eagle" "+"))
The dog is green.
True
1
proof
[(triple5)]
("dog" "is" "green" "+")
triple5
The rabbit does not chase the bald eagle.
False
1
inv-proof
[(triple6)]
("rabbit" "chases" "bald eagle" "-")
triple6
The dog is not nice.
Unknown
inv-rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "nice" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4)] The dog is green.[(triple5)] The rabbit chases the bald eagle.[(triple6)] The rabbit eats the bald eagle.[(triple7)] The rabbit eats the dog.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger is green.[(triple10)] The tiger is nice.[(triple11 OR ((triple12) -> rule1))] The tiger is red.[(triple12)]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The dog is green.
("dog" "is" "green" "+")
triple5
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple6
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple7
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple8
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple9
The tiger is green.
("tiger" "is" "green" "+")
triple10
The tiger is nice.
("tiger" "is" "nice" "+")
triple11
((triple12) -> (rule1 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
triple12