The cow is blue. The dog eats the rabbit. The dog eats the tiger. The dog is blue. The dog visits the cow. The rabbit eats the cow. The rabbit is cold. The rabbit sees the tiger. The tiger eats the rabbit. The tiger visits the dog. If the rabbit is green and the rabbit does not see the dog then the dog is red. If someone eats the tiger then the tiger sees the cow. If someone is red and they eat the dog then the dog visits the rabbit. If someone is red then they do not visit the tiger. If someone is kind and they do not eat the cow then they eat the rabbit. If someone sees the rabbit and they eat the tiger then the rabbit visits the tiger. If someone is blue and not cold then they visit the cow. If someone eats the cow then the cow is red.
The cow is blue.
("cow" "is" "blue" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If the rabbit is green and the rabbit does not see the dog then the dog is red.
((("rabbit" "is" "green" "+") ("rabbit" "sees" "dog" "~")) -> ("dog" "is" "red" "+"))
If someone eats the tiger then the tiger sees the cow.
((("someone" "eats" "tiger" "+")) -> ("tiger" "sees" "cow" "+"))
If someone is red and they eat the dog then the dog visits the rabbit.
((("someone" "is" "red" "+") ("someone" "eats" "dog" "+")) -> ("dog" "visits" "rabbit" "+"))
If someone is red then they do not visit the tiger.
((("someone" "is" "red" "+")) -> ("someone" "visits" "tiger" "-"))
If someone is kind and they do not eat the cow then they eat the rabbit.
((("someone" "is" "kind" "+") ("someone" "eats" "cow" "~")) -> ("someone" "eats" "rabbit" "+"))
If someone sees the rabbit and they eat the tiger then the rabbit visits the tiger.
((("someone" "sees" "rabbit" "+") ("someone" "eats" "tiger" "+")) -> ("rabbit" "visits" "tiger" "+"))
If someone is blue and not cold then they visit the cow.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "~")) -> ("someone" "visits" "cow" "+"))
If someone eats the cow then the cow is red.
((("someone" "eats" "cow" "+")) -> ("cow" "is" "red" "+"))
The dog visits the cow.
True
1
proof
[(triple5)]
("dog" "visits" "cow" "+")
triple5
The tiger does not eat the rabbit.
False
1
inv-proof
[(triple9)]
("tiger" "eats" "rabbit" "-")
triple9
The cow is red.
True
2
proof
[(((triple6) -> rule8))]
("cow" "is" "red" "+")
((triple6) -> (rule8 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is not red.
False
2
inv-proof
[(((triple6) -> rule8))]
("cow" "is" "red" "-")
((triple6) -> (rule8 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The dog is not red.
Unknown
inv-rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "red" "-")
The dog visits the rabbit.
Unknown
rconc
[@1: The dog visits the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "visits" "rabbit" "+")
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The cow sees the rabbit.
Unknown
random
[@0: The cow sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "rabbit" "+")
@0: The cow is blue.[(triple1)] The dog eats the rabbit.[(triple2)] The dog eats the tiger.[(triple3)] The dog is blue.[(triple4)] The dog visits the cow.[(triple5)] The rabbit eats the cow.[(triple6)] The rabbit is cold.[(triple7)] The rabbit sees the tiger.[(triple8)] The tiger eats the rabbit.[(triple9)] The tiger visits the dog.[(triple10)] @1: The cow is red.[(((triple6) -> rule8))] The tiger sees the cow.[(((triple3) -> rule2))] @2: The cow does not visit the tiger.[(((((triple6) -> rule8)) -> rule4))]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple2
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple3
The dog is blue.
("dog" "is" "blue" "+")
triple4
The dog visits the cow.
("dog" "visits" "cow" "+")
triple5
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple6
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple7
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
triple8
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple9
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple10
The cow is red.
("cow" "is" "red" "+")
((triple6) -> (rule8 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The tiger sees the cow.
("tiger" "sees" "cow" "+")
((triple3) -> (rule2 % int1))
The tiger sees the cow.
("tiger" "sees" "cow" "+")
int1
The cow does not visit the tiger.
("cow" "visits" "tiger" "-")
((((triple6) -> (rule8 % int2))) -> (rule4 % int1))
The cow does not visit the tiger.
("cow" "visits" "tiger" "-")
int1
The cow is red.
("cow" "is" "red" "+")
int2