The bear chases the cat. The bear is kind. The bear is nice. The bear is red. The bear is rough. The bear is young. The bear needs the cat. The bear sees the cat. The cat chases the bear. The cat is nice. The cat is red. The cat is rough. The cat is young. The cat needs the bear. The cat sees the bear. If something chases the cat then it sees the bear. If the cat is rough then the cat is kind. If something sees the bear and the bear sees the cat then it chases the cat.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
If something chases the cat then it sees the bear.
((("something" "chases" "cat" "+")) -> ("something" "sees" "bear" "+"))
If the cat is rough then the cat is kind.
((("cat" "is" "rough" "+")) -> ("cat" "is" "kind" "+"))
If something sees the bear and the bear sees the cat then it chases the cat.
((("something" "sees" "bear" "+") ("bear" "sees" "cat" "+")) -> ("something" "chases" "cat" "+"))
The bear is red.
True
1
proof
[(triple4)]
("bear" "is" "red" "+")
triple4
The bear does not chase the cat.
False
1
inv-proof
[(triple1)]
("bear" "chases" "cat" "-")
triple1
The cat chases the cat.
True
3
proof
[(((triple15 triple8) -> rule3))]
("cat" "chases" "cat" "+")
((triple15 triple8) -> (rule3 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is not kind.
False
2
inv-proof
[(((triple12) -> rule2))]
("cat" "is" "kind" "-")
((triple12) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The bear chases the cat.[(triple1)] The bear is kind.[(triple2)] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear is rough.[(triple5)] The bear is young.[(triple6)] The bear needs the cat.[(triple7)] The bear sees the cat.[(triple8)] The cat chases the bear.[(triple9)] The cat is nice.[(triple10)] The cat is red.[(triple11)] The cat is rough.[(triple12)] The cat is young.[(triple13)] The cat needs the bear.[(triple14)] The cat sees the bear.[(triple15)] @1: The bear sees the bear.[(((triple1) -> rule1))] The cat chases the cat.[(((triple15 triple8) -> rule3))] The cat is kind.[(((triple12) -> rule2))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear needs the cat.
("bear" "needs" "cat" "+")
triple7
The bear sees the cat.
("bear" "sees" "cat" "+")
triple8
The cat chases the bear.
("cat" "chases" "bear" "+")
triple9
The cat is nice.
("cat" "is" "nice" "+")
triple10
The cat is red.
("cat" "is" "red" "+")
triple11
The cat is rough.
("cat" "is" "rough" "+")
triple12
The cat is young.
("cat" "is" "young" "+")
triple13
The cat needs the bear.
("cat" "needs" "bear" "+")
triple14
The cat sees the bear.
("cat" "sees" "bear" "+")
triple15
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple1) -> (rule1 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple15 triple8) -> (rule3 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
((triple12) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1