The bear chases the cat. The bear is cold. The bear is green. The bear is kind. The bear is rough. The bear sees the cat. The bear visits the cat. The cat chases the bear. The cat is green. The cat sees the bear. If someone is kind then they visit the bear. If someone is rough and blue then they chase the bear. If someone sees the cat then they are blue. If someone sees the bear and they see the cat then the cat sees the bear. If the cat chases the bear and the cat sees the bear then the bear visits the cat. If someone sees the bear then the bear is rough.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is green.
("cat" "is" "green" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
If someone is kind then they visit the bear.
((("someone" "is" "kind" "+")) -> ("someone" "visits" "bear" "+"))
If someone is rough and blue then they chase the bear.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "chases" "bear" "+"))
If someone sees the cat then they are blue.
((("someone" "sees" "cat" "+")) -> ("someone" "is" "blue" "+"))
If someone sees the bear and they see the cat then the cat sees the bear.
((("someone" "sees" "bear" "+") ("someone" "sees" "cat" "+")) -> ("cat" "sees" "bear" "+"))
If the cat chases the bear and the cat sees the bear then the bear visits the cat.
((("cat" "chases" "bear" "+") ("cat" "sees" "bear" "+")) -> ("bear" "visits" "cat" "+"))
If someone sees the bear then the bear is rough.
((("someone" "sees" "bear" "+")) -> ("bear" "is" "rough" "+"))
The bear is green.
True
1
proof
[(triple3)]
("bear" "is" "green" "+")
triple3
The bear is not rough.
False
1
inv-proof
[(triple5 OR ((triple10) -> rule6))]
("bear" "is" "rough" "-")
triple5
((triple10) -> (rule6 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear visits the bear.
True
2
proof
[(((triple4) -> rule1))]
("bear" "visits" "bear" "+")
((triple4) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear is not blue.
False
2
inv-proof
[(((triple6) -> rule3))]
("bear" "is" "blue" "-")
((triple6) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear chases the bear.
True
4
proof
[(((triple5 ((triple6) -> rule3)) -> rule2) OR ((((triple10) -> rule6) ((triple6) -> rule3)) -> rule2))]
("bear" "chases" "bear" "+")
((triple5 ((triple6) -> (rule3 % int2))) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
((((triple10) -> (rule6 % int3)) ((triple6) -> (rule3 % int2))) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The bear does not chase the bear.
False
4
inv-proof
[(((triple5 ((triple6) -> rule3)) -> rule2) OR ((((triple10) -> rule6) ((triple6) -> rule3)) -> rule2))]
("bear" "chases" "bear" "-")
((triple5 ((triple6) -> (rule3 % int2))) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
((((triple10) -> (rule6 % int3)) ((triple6) -> (rule3 % int2))) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The cat does not visit the bear.
Unknown
inv-rconc
[@1: The cat visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "visits" "bear" "-")
The cat is blue.
Unknown
rconc
[@1: The cat is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "blue" "+")
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
The cat does not chase the cat.
Unknown
inv-random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The bear chases the cat.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is rough.[(triple5 OR ((triple10) -> rule6))] The bear sees the cat.[(triple6)] The bear visits the cat.[(triple7 OR ((triple8 triple10) -> rule5))] The cat chases the bear.[(triple8)] The cat is green.[(triple9)] The cat sees the bear.[(triple10)] @1: The bear is blue.[(((triple6) -> rule3))] The bear visits the bear.[(((triple4) -> rule1))] @2: The bear chases the bear.[(((triple5 ((triple6) -> rule3)) -> rule2) OR ((((triple10) -> rule6) ((triple6) -> rule3)) -> rule2))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
((triple10) -> (rule6 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear sees the cat.
("bear" "sees" "cat" "+")
triple6
The bear visits the cat.
("bear" "visits" "cat" "+")
triple7
((triple8 triple10) -> (rule5 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
triple8
The cat is green.
("cat" "is" "green" "+")
triple9
The cat sees the bear.
("cat" "sees" "bear" "+")
triple10
The bear is blue.
("bear" "is" "blue" "+")
((triple6) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple4) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple5 ((triple6) -> (rule3 % int2))) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
((((triple10) -> (rule6 % int3)) ((triple6) -> (rule3 % int2))) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3