The bald eagle sees the dog. The cow eats the dog. The cow eats the tiger. The cow is cold. The cow sees the bald eagle. The dog chases the bald eagle. The dog chases the cow. The dog eats the bald eagle. The tiger is green. The tiger sees the cow. If someone eats the tiger and the tiger eats the dog then the dog is cold. If someone eats the dog then the dog chases the cow. If someone is rough and they see the tiger then they are cold.
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
If someone eats the tiger and the tiger eats the dog then the dog is cold.
((("someone" "eats" "tiger" "+") ("tiger" "eats" "dog" "+")) -> ("dog" "is" "cold" "+"))
If someone eats the dog then the dog chases the cow.
((("someone" "eats" "dog" "+")) -> ("dog" "chases" "cow" "+"))
If someone is rough and they see the tiger then they are cold.
((("someone" "is" "rough" "+") ("someone" "sees" "tiger" "+")) -> ("someone" "is" "cold" "+"))
The cow eats the tiger.
True
1
proof
[(triple3)]
("cow" "eats" "tiger" "+")
triple3
The cow is not cold.
False
1
inv-proof
[(triple4)]
("cow" "is" "cold" "-")
triple4
The tiger is not cold.
Unknown
inv-rconc
[@1: The tiger is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "cold" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
@0: The bald eagle sees the dog.[(triple1)] The cow eats the dog.[(triple2)] The cow eats the tiger.[(triple3)] The cow is cold.[(triple4)] The cow sees the bald eagle.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog chases the cow.[(triple7 OR ((triple2) -> rule2))] The dog eats the bald eagle.[(triple8)] The tiger is green.[(triple9)] The tiger sees the cow.[(triple10)]
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple1
The cow eats the dog.
("cow" "eats" "dog" "+")
triple2
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple3
The cow is cold.
("cow" "is" "cold" "+")
triple4
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple5
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple6
The dog chases the cow.
("dog" "chases" "cow" "+")
triple7
((triple2) -> (rule2 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple8
The tiger is green.
("tiger" "is" "green" "+")
triple9
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple10