The bald eagle chases the cow. The bald eagle chases the tiger. The bald eagle is rough. The cow chases the tiger. The cow eats the tiger. The dog chases the cow. The dog chases the tiger. The dog is cold. The dog is green. The dog is round. The dog needs the cow. The tiger chases the dog. The tiger eats the dog. The tiger is green. The tiger needs the bald eagle. If someone chases the dog then they are cold. If someone needs the tiger and the tiger is cold then the tiger eats the cow.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If someone chases the dog then they are cold.
((("someone" "chases" "dog" "+")) -> ("someone" "is" "cold" "+"))
If someone needs the tiger and the tiger is cold then the tiger eats the cow.
((("someone" "needs" "tiger" "+") ("tiger" "is" "cold" "+")) -> ("tiger" "eats" "cow" "+"))
The cow chases the tiger.
True
1
proof
[(triple4)]
("cow" "chases" "tiger" "+")
triple4
The tiger does not need the bald eagle.
False
1
inv-proof
[(triple15)]
("tiger" "needs" "bald eagle" "-")
triple15
The tiger is cold.
True
2
proof
[(((triple12) -> rule1))]
("tiger" "is" "cold" "+")
((triple12) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is not cold.
False
2
inv-proof
[(((triple12) -> rule1))]
("tiger" "is" "cold" "-")
((triple12) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The cow is not cold.
Unknown
inv-rconc
[@1: The cow is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "cold" "-")
The bald eagle is cold.
Unknown
rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "cold" "+")
The bald eagle does not eat the cow.
Unknown
inv-random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle is rough.[(triple3)] The cow chases the tiger.[(triple4)] The cow eats the tiger.[(triple5)] The dog chases the cow.[(triple6)] The dog chases the tiger.[(triple7)] The dog is cold.[(triple8)] The dog is green.[(triple9)] The dog is round.[(triple10)] The dog needs the cow.[(triple11)] The tiger chases the dog.[(triple12)] The tiger eats the dog.[(triple13)] The tiger is green.[(triple14)] The tiger needs the bald eagle.[(triple15)] @1: The tiger is cold.[(((triple12) -> rule1))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple4
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple5
The dog chases the cow.
("dog" "chases" "cow" "+")
triple6
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple7
The dog is cold.
("dog" "is" "cold" "+")
triple8
The dog is green.
("dog" "is" "green" "+")
triple9
The dog is round.
("dog" "is" "round" "+")
triple10
The dog needs the cow.
("dog" "needs" "cow" "+")
triple11
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple12
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple13
The tiger is green.
("tiger" "is" "green" "+")
triple14
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple15
The tiger is cold.
("tiger" "is" "cold" "+")
((triple12) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1