The bear chases the dog. The bear chases the lion. The bear is kind. The bear is rough. The bear needs the dog. The dog is rough. The dog needs the bear. The lion chases the bear. The lion eats the bear. The lion is rough. If something needs the dog and the dog chases the bear then the bear is round. If something is big then it eats the lion. If something is kind then it chases the dog. If the bear chases the dog then the dog chases the bear. If something needs the dog and the dog is cold then the dog needs the bear. If the lion is round and the lion chases the dog then the lion chases the bear. If something needs the dog then the dog is cold. If the lion chases the dog and the lion needs the dog then the lion needs the bear.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is rough.
("lion" "is" "rough" "+")
If something needs the dog and the dog chases the bear then the bear is round.
((("something" "needs" "dog" "+") ("dog" "chases" "bear" "+")) -> ("bear" "is" "round" "+"))
If something is big then it eats the lion.
((("something" "is" "big" "+")) -> ("something" "eats" "lion" "+"))
If something is kind then it chases the dog.
((("something" "is" "kind" "+")) -> ("something" "chases" "dog" "+"))
If the bear chases the dog then the dog chases the bear.
((("bear" "chases" "dog" "+")) -> ("dog" "chases" "bear" "+"))
If something needs the dog and the dog is cold then the dog needs the bear.
((("something" "needs" "dog" "+") ("dog" "is" "cold" "+")) -> ("dog" "needs" "bear" "+"))
If the lion is round and the lion chases the dog then the lion chases the bear.
((("lion" "is" "round" "+") ("lion" "chases" "dog" "+")) -> ("lion" "chases" "bear" "+"))
If something needs the dog then the dog is cold.
((("something" "needs" "dog" "+")) -> ("dog" "is" "cold" "+"))
If the lion chases the dog and the lion needs the dog then the lion needs the bear.
((("lion" "chases" "dog" "+") ("lion" "needs" "dog" "+")) -> ("lion" "needs" "bear" "+"))
The dog is rough.
True
1
proof
[(triple6)]
("dog" "is" "rough" "+")
triple6
The bear is not rough.
False
1
inv-proof
[(triple4)]
("bear" "is" "rough" "-")
triple4
The dog is cold.
True
2
proof
[(((triple5) -> rule7))]
("dog" "is" "cold" "+")
((triple5) -> (rule7 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog does not chase the bear.
False
2
inv-proof
[(((triple1) -> rule4) OR ((((triple3) -> rule3)) -> rule4))]
("dog" "chases" "bear" "-")
((triple1) -> (rule4 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The bear chases the dog.
("bear" "chases" "dog" "+")
int2
The bear is round.
True
4
proof
[(((triple5 ((triple1) -> rule4)) -> rule1) OR ((triple5 ((((triple3) -> rule3)) -> rule4)) -> rule1))]
("bear" "is" "round" "+")
((triple5 ((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
((triple5 ((((triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
The bear chases the dog.
("bear" "chases" "dog" "+")
int3
The bear is not round.
False
4
inv-proof
[(((triple5 ((triple1) -> rule4)) -> rule1) OR ((triple5 ((((triple3) -> rule3)) -> rule4)) -> rule1))]
("bear" "is" "round" "-")
((triple5 ((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
((triple5 ((((triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
The bear chases the dog.
("bear" "chases" "dog" "+")
int3
The lion does not eat the lion.
Unknown
inv-rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "eats" "lion" "-")
The lion needs the bear.
Unknown
rconc
[@1: The lion needs the bear.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "needs" "bear" "+")
The lion does not chase the dog.
Unknown
inv-rconc
[@1: The lion chases the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "chases" "dog" "-")
The lion is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The lion needs the dog.
Unknown
random
[@0: The lion needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "dog" "+")
@0: The bear chases the dog.[(triple1 OR ((triple3) -> rule3))] The bear chases the lion.[(triple2)] The bear is kind.[(triple3)] The bear is rough.[(triple4)] The bear needs the dog.[(triple5)] The dog is rough.[(triple6)] The dog needs the bear.[(triple7 OR ((triple5 ((triple5) -> rule7)) -> rule5))] The lion chases the bear.[(triple8)] The lion eats the bear.[(triple9)] The lion is rough.[(triple10)] @1: The dog chases the bear.[(((triple1) -> rule4) OR ((((triple3) -> rule3)) -> rule4))] The dog is cold.[(((triple5) -> rule7))] @2: The bear is round.[(((triple5 ((triple1) -> rule4)) -> rule1) OR ((triple5 ((((triple3) -> rule3)) -> rule4)) -> rule1))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
((triple3) -> (rule3 % int1))
The bear chases the dog.
("bear" "chases" "dog" "+")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear needs the dog.
("bear" "needs" "dog" "+")
triple5
The dog is rough.
("dog" "is" "rough" "+")
triple6
The dog needs the bear.
("dog" "needs" "bear" "+")
triple7
((triple5 ((triple5) -> (rule7 % int2))) -> (rule5 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The lion chases the bear.
("lion" "chases" "bear" "+")
triple8
The lion eats the bear.
("lion" "eats" "bear" "+")
triple9
The lion is rough.
("lion" "is" "rough" "+")
triple10
The dog chases the bear.
("dog" "chases" "bear" "+")
((triple1) -> (rule4 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The bear chases the dog.
("bear" "chases" "dog" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
((triple5) -> (rule7 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The bear is round.
("bear" "is" "round" "+")
((triple5 ((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
((triple5 ((((triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
The bear chases the dog.
("bear" "chases" "dog" "+")
int3