The bear chases the squirrel. The bear eats the squirrel. The bear is not round. The dog chases the bear. The dog is cold. The dog visits the bear. The squirrel visits the dog. If something is round and nice then it does not visit the bear. If something chases the squirrel then it visits the bear. If something visits the bear then it is cold. If something eats the dog and the dog does not eat the bear then the bear eats the squirrel. If something chases the dog and it is not young then the dog is cold. If the squirrel is cold then the squirrel is nice. If the bear is young and the dog does not visit the bear then the bear visits the dog. If something visits the dog then it is not blue.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is not round.
("bear" "is" "round" "-")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If something is round and nice then it does not visit the bear.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "visits" "bear" "-"))
If something chases the squirrel then it visits the bear.
((("something" "chases" "squirrel" "+")) -> ("something" "visits" "bear" "+"))
If something visits the bear then it is cold.
((("something" "visits" "bear" "+")) -> ("something" "is" "cold" "+"))
If something eats the dog and the dog does not eat the bear then the bear eats the squirrel.
((("something" "eats" "dog" "+") ("dog" "eats" "bear" "~")) -> ("bear" "eats" "squirrel" "+"))
If something chases the dog and it is not young then the dog is cold.
((("something" "chases" "dog" "+") ("something" "is" "young" "~")) -> ("dog" "is" "cold" "+"))
If the squirrel is cold then the squirrel is nice.
((("squirrel" "is" "cold" "+")) -> ("squirrel" "is" "nice" "+"))
If the bear is young and the dog does not visit the bear then the bear visits the dog.
((("bear" "is" "young" "+") ("dog" "visits" "bear" "~")) -> ("bear" "visits" "dog" "+"))
If something visits the dog then it is not blue.
((("something" "visits" "dog" "+")) -> ("something" "is" "blue" "-"))
The bear is not round.
True
1
proof
[(triple3)]
("bear" "is" "round" "-")
triple3
The bear does not eat the squirrel.
False
1
inv-proof
[(triple2)]
("bear" "eats" "squirrel" "-")
triple2
The bear visits the bear.
True
2
proof
[(((triple1) -> rule2))]
("bear" "visits" "bear" "+")
((triple1) -> (rule2 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The squirrel is blue.
False
2
inv-proof
[(((triple7) -> rule8))]
("squirrel" "is" "blue" "+")
((triple7) -> (rule8 % int1))
The squirrel is not blue.
("squirrel" "is" "blue" "-")
int1
The bear is cold.
True
3
proof
[(((((triple1) -> rule2)) -> rule3))]
("bear" "is" "cold" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
The bear is not cold.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule3))]
("bear" "is" "cold" "-")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
The bear does not visit the dog.
Unknown
inv-rconc
[@1: The bear visits the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "visits" "dog" "-")
The squirrel is nice.
Unknown
rconc
[@3: The squirrel is nice.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule2 <- FAIL)]]
("squirrel" "is" "nice" "+")
The squirrel does not visit the bear.
Unknown
inv-rconc
[@1: The squirrel visits the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "visits" "bear" "-")
The squirrel eats the dog.
Unknown
random
[@0: The squirrel eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "dog" "+")
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The bear chases the squirrel.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is not round.[(triple3)] The dog chases the bear.[(triple4)] The dog is cold.[(triple5 OR ((triple6) -> rule3))] The dog visits the bear.[(triple6)] The squirrel visits the dog.[(triple7)] @1: The bear visits the bear.[(((triple1) -> rule2))] The squirrel is not blue.[(((triple7) -> rule8))] @2: The bear is cold.[(((((triple1) -> rule2)) -> rule3))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple2
The bear is not round.
("bear" "is" "round" "-")
triple3
The dog chases the bear.
("dog" "chases" "bear" "+")
triple4
The dog is cold.
("dog" "is" "cold" "+")
triple5
((triple6) -> (rule3 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
triple6
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple7
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple1) -> (rule2 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The squirrel is not blue.
("squirrel" "is" "blue" "-")
((triple7) -> (rule8 % int1))
The squirrel is not blue.
("squirrel" "is" "blue" "-")
int1
The bear is cold.
("bear" "is" "cold" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2