The bear chases the dog. The bear eats the rabbit. The dog does not chase the rabbit. The rabbit chases the bear. The rabbit chases the dog. The rabbit chases the squirrel. The rabbit eats the dog. The rabbit is cold. The rabbit is not green. The rabbit visits the bear. The rabbit visits the dog. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is nice. The squirrel visits the dog. If something is nice and it chases the dog then the dog chases the squirrel. All cold things are round. All round things are nice. If something chases the dog and it is green then it eats the bear. If something visits the dog and it does not eat the squirrel then it does not visit the rabbit. If something is nice and it visits the squirrel then it is not blue. If something eats the bear then the bear does not chase the dog. If something eats the squirrel then it chases the bear.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The dog does not chase the rabbit.
("dog" "chases" "rabbit" "-")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is not green.
("rabbit" "is" "green" "-")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If something is nice and it chases the dog then the dog chases the squirrel.
((("something" "is" "nice" "+") ("something" "chases" "dog" "+")) -> ("dog" "chases" "squirrel" "+"))
All cold things are round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
All round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If something chases the dog and it is green then it eats the bear.
((("something" "chases" "dog" "+") ("something" "is" "green" "+")) -> ("something" "eats" "bear" "+"))
If something visits the dog and it does not eat the squirrel then it does not visit the rabbit.
((("something" "visits" "dog" "+") ("something" "eats" "squirrel" "~")) -> ("something" "visits" "rabbit" "-"))
If something is nice and it visits the squirrel then it is not blue.
((("something" "is" "nice" "+") ("something" "visits" "squirrel" "+")) -> ("something" "is" "blue" "-"))
If something eats the bear then the bear does not chase the dog.
((("something" "eats" "bear" "+")) -> ("bear" "chases" "dog" "-"))
If something eats the squirrel then it chases the bear.
((("something" "eats" "squirrel" "+")) -> ("something" "chases" "bear" "+"))
The squirrel is nice.
True
1
proof
[(triple14)]
("squirrel" "is" "nice" "+")
triple14
The bear does not chase the dog.
False
1
inv-proof
[(triple1)]
("bear" "chases" "dog" "-")
triple1
The rabbit is round.
True
2
proof
[(((triple8) -> rule2))]
("rabbit" "is" "round" "+")
((triple8) -> (rule2 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is not round.
False
2
inv-proof
[(((triple8) -> rule2))]
("rabbit" "is" "round" "-")
((triple8) -> (rule2 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is nice.
True
3
proof
[(((((triple8) -> rule2)) -> rule3))]
("rabbit" "is" "nice" "+")
((((triple8) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit is not nice.
False
3
inv-proof
[(((((triple8) -> rule2)) -> rule3))]
("rabbit" "is" "nice" "-")
((((triple8) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The dog chases the squirrel.
True
5
proof
[(((((((triple8) -> rule2)) -> rule3) triple5) -> rule1))]
("dog" "chases" "squirrel" "+")
((((((triple8) -> (rule2 % int3))) -> (rule3 % int2)) triple5) -> (rule1 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The dog does not chase the squirrel.
False
5
inv-proof
[(((((((triple8) -> rule2)) -> rule3) triple5) -> rule1))]
("dog" "chases" "squirrel" "-")
((((((triple8) -> (rule2 % int3))) -> (rule3 % int2)) triple5) -> (rule1 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The dog is not round.
Unknown
inv-rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "round" "-")
The bear eats the bear.
Unknown
rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "eats" "bear" "+")
The dog does not eat the bear.
Unknown
inv-rconc
[@1: The dog eats the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "eats" "bear" "-")
The bear is round.
Unknown
rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "round" "+")
The dog does not eat the squirrel.
Unknown
inv-random
[@0: The dog eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "squirrel" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
The bear does not visit the dog.
Unknown
inv-random
[@0: The bear visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "dog" "-")
The squirrel visits the rabbit.
Unknown
random
[@0: The squirrel visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "rabbit" "+")
@0: The bear chases the dog.[(triple1)] The bear eats the rabbit.[(triple2)] The dog does not chase the rabbit.[(triple3)] The rabbit chases the bear.[(triple4)] The rabbit chases the dog.[(triple5)] The rabbit chases the squirrel.[(triple6)] The rabbit eats the dog.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is not green.[(triple9)] The rabbit visits the bear.[(triple10)] The rabbit visits the dog.[(triple11)] The rabbit visits the squirrel.[(triple12)] The squirrel eats the rabbit.[(triple13)] The squirrel is nice.[(triple14)] The squirrel visits the dog.[(triple15)] @1: The rabbit is round.[(((triple8) -> rule2))] @2: The rabbit is nice.[(((((triple8) -> rule2)) -> rule3))] @3: The dog chases the squirrel.[(((((((triple8) -> rule2)) -> rule3) triple5) -> rule1))] The rabbit is not blue.[(((((((triple8) -> rule2)) -> rule3) triple12) -> rule6))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple2
The dog does not chase the rabbit.
("dog" "chases" "rabbit" "-")
triple3
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple4
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple5
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple6
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple7
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple8
The rabbit is not green.
("rabbit" "is" "green" "-")
triple9
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple10
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple11
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple12
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple13
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple14
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple15
The rabbit is round.
("rabbit" "is" "round" "+")
((triple8) -> (rule2 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
((((triple8) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
((((((triple8) -> (rule2 % int3))) -> (rule3 % int2)) triple5) -> (rule1 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit is not blue.
("rabbit" "is" "blue" "-")
((((((triple8) -> (rule2 % int3))) -> (rule3 % int2)) triple12) -> (rule6 % int1))
The rabbit is not blue.
("rabbit" "is" "blue" "-")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3