The bear chases the rabbit. The bear eats the dog. The bear is big. The bear is young. The bear visits the rabbit. The dog chases the bear. The dog chases the rabbit. The dog eats the bear. The dog is cold. The dog is kind. The rabbit chases the dog. The rabbit eats the dog. The rabbit is big. The rabbit is cold. The rabbit is kind. The rabbit is round. If the dog visits the bear and the bear visits the rabbit then the bear is cold. If something visits the bear and it chases the bear then the bear is cold.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is young.
("bear" "is" "young" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is kind.
("dog" "is" "kind" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
If the dog visits the bear and the bear visits the rabbit then the bear is cold.
((("dog" "visits" "bear" "+") ("bear" "visits" "rabbit" "+")) -> ("bear" "is" "cold" "+"))
If something visits the bear and it chases the bear then the bear is cold.
((("something" "visits" "bear" "+") ("something" "chases" "bear" "+")) -> ("bear" "is" "cold" "+"))
The dog is cold.
True
1
proof
[(triple9)]
("dog" "is" "cold" "+")
triple9
The rabbit is not round.
False
1
inv-proof
[(triple16)]
("rabbit" "is" "round" "-")
triple16
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "cold" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear chases the rabbit.[(triple1)] The bear eats the dog.[(triple2)] The bear is big.[(triple3)] The bear is young.[(triple4)] The bear visits the rabbit.[(triple5)] The dog chases the bear.[(triple6)] The dog chases the rabbit.[(triple7)] The dog eats the bear.[(triple8)] The dog is cold.[(triple9)] The dog is kind.[(triple10)] The rabbit chases the dog.[(triple11)] The rabbit eats the dog.[(triple12)] The rabbit is big.[(triple13)] The rabbit is cold.[(triple14)] The rabbit is kind.[(triple15)] The rabbit is round.[(triple16)]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear eats the dog.
("bear" "eats" "dog" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple5
The dog chases the bear.
("dog" "chases" "bear" "+")
triple6
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple7
The dog eats the bear.
("dog" "eats" "bear" "+")
triple8
The dog is cold.
("dog" "is" "cold" "+")
triple9
The dog is kind.
("dog" "is" "kind" "+")
triple10
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple11
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple12
The rabbit is big.
("rabbit" "is" "big" "+")
triple13
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple14
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple15
The rabbit is round.
("rabbit" "is" "round" "+")
triple16