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