The bear is cold. The bear is kind. The bear is not round. The bear needs the rabbit. The bear visits the cat. The cat eats the bear. The cat needs the rabbit. The cat does not visit the bear. The cat visits the rabbit. The rabbit is blue. The rabbit is nice. The rabbit does not need the bear. The rabbit needs the cat. The rabbit visits the bear. The rabbit does not visit the cat. If something needs the cat then it does not visit the cat. If something eats the bear then the bear is blue. If something eats the bear and it is kind then the bear visits the cat. If something needs the bear and the bear visits the cat then the bear eats the cat. If something eats the rabbit then the rabbit is not round. If something needs the rabbit and it eats the cat then the cat is not nice. If something is blue and not cold then it does not eat the bear. If something needs the rabbit and it does not eat the bear then the rabbit visits the cat.
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is not round.
("bear" "is" "round" "-")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat does not visit the bear.
("cat" "visits" "bear" "-")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit does not need the bear.
("rabbit" "needs" "bear" "-")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The rabbit does not visit the cat.
("rabbit" "visits" "cat" "-")
If something needs the cat then it does not visit the cat.
((("something" "needs" "cat" "+")) -> ("something" "visits" "cat" "-"))
If something eats the bear then the bear is blue.
((("something" "eats" "bear" "+")) -> ("bear" "is" "blue" "+"))
If something eats the bear and it is kind then the bear visits the cat.
((("something" "eats" "bear" "+") ("something" "is" "kind" "+")) -> ("bear" "visits" "cat" "+"))
If something needs the bear and the bear visits the cat then the bear eats the cat.
((("something" "needs" "bear" "+") ("bear" "visits" "cat" "+")) -> ("bear" "eats" "cat" "+"))
If something eats the rabbit then the rabbit is not round.
((("something" "eats" "rabbit" "+")) -> ("rabbit" "is" "round" "-"))
If something needs the rabbit and it eats the cat then the cat is not nice.
((("something" "needs" "rabbit" "+") ("something" "eats" "cat" "+")) -> ("cat" "is" "nice" "-"))
If something is blue and not cold then it does not eat the bear.
((("something" "is" "blue" "+") ("something" "is" "cold" "~")) -> ("something" "eats" "bear" "-"))
If something needs the rabbit and it does not eat the bear then the rabbit visits the cat.
((("something" "needs" "rabbit" "+") ("something" "eats" "bear" "~")) -> ("rabbit" "visits" "cat" "+"))
The bear is not round.
True
1
proof
[(triple3)]
("bear" "is" "round" "-")
triple3
The cat does not visit the rabbit.
False
1
inv-proof
[(triple9)]
("cat" "visits" "rabbit" "-")
triple9
The bear is blue.
True
2
proof
[(((triple6) -> rule2))]
("bear" "is" "blue" "+")
((triple6) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is not blue.
False
2
inv-proof
[(((triple6) -> rule2))]
("bear" "is" "blue" "-")
((triple6) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear does not eat the cat.
Unknown
inv-rconc
[@1: The bear eats the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "eats" "cat" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
@0: The bear is cold.[(triple1)] The bear is kind.[(triple2)] The bear is not round.[(triple3)] The bear needs the rabbit.[(triple4)] The bear visits the cat.[(triple5)] The cat does not visit the bear.[(triple8)] The cat eats the bear.[(triple6)] The cat needs the rabbit.[(triple7)] The cat visits the rabbit.[(triple9)] The rabbit does not need the bear.[(triple12)] The rabbit does not visit the cat.[(triple15 OR ((triple13) -> rule1))] The rabbit is blue.[(triple10)] The rabbit is nice.[(triple11)] The rabbit needs the cat.[(triple13)] The rabbit visits the bear.[(triple14)] @1: The bear is blue.[(((triple6) -> rule2))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is not round.
("bear" "is" "round" "-")
triple3
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple4
The bear visits the cat.
("bear" "visits" "cat" "+")
triple5
The cat does not visit the bear.
("cat" "visits" "bear" "-")
triple8
The cat eats the bear.
("cat" "eats" "bear" "+")
triple6
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple7
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple9
The rabbit does not need the bear.
("rabbit" "needs" "bear" "-")
triple12
The rabbit does not visit the cat.
("rabbit" "visits" "cat" "-")
triple15
((triple13) -> (rule1 % int1))
The rabbit does not visit the cat.
("rabbit" "visits" "cat" "-")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple10
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple11
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple13
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple14
The bear is blue.
("bear" "is" "blue" "+")
((triple6) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1