The bear eats the dog. The bear is big. The bear is cold. The bear sees the dog. The bear visits the dog. The dog is big. The dog is nice. The dog is red. The lion is nice. The lion sees the rabbit. The lion visits the bear. The lion visits the rabbit. The rabbit eats the dog. The rabbit is rough. The rabbit visits the dog. If someone sees the rabbit and the rabbit visits the dog then the rabbit sees the bear. If someone sees the dog then the dog sees the rabbit. If someone is big and they eat the rabbit then they see the bear. If someone is red and they visit the dog then the dog is big. If someone visits the bear then they see the bear. If someone sees the rabbit then the rabbit is rough. If someone is nice and they see the bear then the bear eats the lion. If someone sees the rabbit and the rabbit sees the dog then the rabbit visits the dog.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If someone sees the rabbit and the rabbit visits the dog then the rabbit sees the bear.
((("someone" "sees" "rabbit" "+") ("rabbit" "visits" "dog" "+")) -> ("rabbit" "sees" "bear" "+"))
If someone sees the dog then the dog sees the rabbit.
((("someone" "sees" "dog" "+")) -> ("dog" "sees" "rabbit" "+"))
If someone is big and they eat the rabbit then they see the bear.
((("someone" "is" "big" "+") ("someone" "eats" "rabbit" "+")) -> ("someone" "sees" "bear" "+"))
If someone is red and they visit the dog then the dog is big.
((("someone" "is" "red" "+") ("someone" "visits" "dog" "+")) -> ("dog" "is" "big" "+"))
If someone visits the bear then they see the bear.
((("someone" "visits" "bear" "+")) -> ("someone" "sees" "bear" "+"))
If someone sees the rabbit then the rabbit is rough.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "is" "rough" "+"))
If someone is nice and they see the bear then the bear eats the lion.
((("someone" "is" "nice" "+") ("someone" "sees" "bear" "+")) -> ("bear" "eats" "lion" "+"))
If someone sees the rabbit and the rabbit sees the dog then the rabbit visits the dog.
((("someone" "sees" "rabbit" "+") ("rabbit" "sees" "dog" "+")) -> ("rabbit" "visits" "dog" "+"))
The rabbit eats the dog.
True
1
proof
[(triple13)]
("rabbit" "eats" "dog" "+")
triple13
The bear does not see the dog.
False
1
inv-proof
[(triple4)]
("bear" "sees" "dog" "-")
triple4
The lion sees the bear.
True
2
proof
[(((triple11) -> rule5))]
("lion" "sees" "bear" "+")
((triple11) -> (rule5 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The dog does not see the rabbit.
False
2
inv-proof
[(((triple4) -> rule2))]
("dog" "sees" "rabbit" "-")
((triple4) -> (rule2 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The dog does not see the bear.
Unknown
inv-rconc
[@1: The dog sees the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "sees" "bear" "-")
The bear sees the bear.
Unknown
rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "sees" "bear" "+")
The rabbit does not see the lion.
Unknown
inv-random
[@0: The rabbit sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "lion" "-")
The dog eats the rabbit.
Unknown
random
[@0: The dog eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "rabbit" "+")
@0: The bear eats the dog.[(triple1)] The bear is big.[(triple2)] The bear is cold.[(triple3)] The bear sees the dog.[(triple4)] The bear visits the dog.[(triple5)] The dog is big.[(triple6)] The dog is nice.[(triple7)] The dog is red.[(triple8)] The lion is nice.[(triple9)] The lion sees the rabbit.[(triple10)] The lion visits the bear.[(triple11)] The lion visits the rabbit.[(triple12)] The rabbit eats the dog.[(triple13)] The rabbit is rough.[(triple14 OR ((triple10) -> rule6) OR ((((triple4) -> rule2)) -> rule6))] The rabbit visits the dog.[(triple15)] @1: The dog sees the rabbit.[(((triple4) -> rule2))] The lion sees the bear.[(((triple11) -> rule5))] The rabbit sees the bear.[(((triple10 triple15) -> rule1) OR ((((triple4) -> rule2) triple15) -> rule1))] @2: The bear eats the lion.[(((triple9 ((triple11) -> rule5)) -> rule7))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear sees the dog.
("bear" "sees" "dog" "+")
triple4
The bear visits the dog.
("bear" "visits" "dog" "+")
triple5
The dog is big.
("dog" "is" "big" "+")
triple6
The dog is nice.
("dog" "is" "nice" "+")
triple7
The dog is red.
("dog" "is" "red" "+")
triple8
The lion is nice.
("lion" "is" "nice" "+")
triple9
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple10
The lion visits the bear.
("lion" "visits" "bear" "+")
triple11
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple12
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple13
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple14
((triple10) -> (rule6 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple15
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
((triple4) -> (rule2 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The lion sees the bear.
("lion" "sees" "bear" "+")
((triple11) -> (rule5 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
((triple10 triple15) -> (rule1 % int1))
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int1
((((triple4) -> (rule2 % int2)) triple15) -> (rule1 % int1))
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The bear eats the lion.
("bear" "eats" "lion" "+")
((triple9 ((triple11) -> (rule5 % int2))) -> (rule7 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The lion sees the bear.
("lion" "sees" "bear" "+")
int2