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