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