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