The bear chases the cat. The bear is big. The bear is blue. The bear is cold. The bear is green. The bear is nice. The bear needs the cat. The bear sees the cat. The cat is blue. The cat needs the bear. If someone is cold then they chase the bear.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
If someone is cold then they chase the bear.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "bear" "+"))
The bear needs the cat.
True
1
proof
[(triple7)]
("bear" "needs" "cat" "+")
triple7
The cat does not need the bear.
False
1
inv-proof
[(triple10)]
("cat" "needs" "bear" "-")
triple10
The bear chases the bear.
True
2
proof
[(((triple4) -> rule1))]
("bear" "chases" "bear" "+")
((triple4) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear does not chase the bear.
False
2
inv-proof
[(((triple4) -> rule1))]
("bear" "chases" "bear" "-")
((triple4) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The cat does not chase the bear.
Unknown
inv-rconc
[@1: The cat chases the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "chases" "bear" "-")
The cat sees the bear.
Unknown
random
[@0: The cat sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "bear" "+")
The cat is not nice.
Unknown
inv-random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear chases the cat.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is cold.[(triple4)] The bear is green.[(triple5)] The bear is nice.[(triple6)] The bear needs the cat.[(triple7)] The bear sees the cat.[(triple8)] The cat is blue.[(triple9)] The cat needs the bear.[(triple10)] @1: The bear chases the bear.[(((triple4) -> rule1))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear is green.
("bear" "is" "green" "+")
triple5
The bear is nice.
("bear" "is" "nice" "+")
triple6
The bear needs the cat.
("bear" "needs" "cat" "+")
triple7
The bear sees the cat.
("bear" "sees" "cat" "+")
triple8
The cat is blue.
("cat" "is" "blue" "+")
triple9
The cat needs the bear.
("cat" "needs" "bear" "+")
triple10
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple4) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1