The bear is big. The bear is blue. The bear is green. If the bear is big then the bear is rough. Blue people are green. If someone is big then they are green.
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
If the bear is big then the bear is rough.
((("bear" "is" "big" "+")) -> ("bear" "is" "rough" "+"))
Blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is big then they are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
The bear is green.
True
1
proof
[(triple3 OR ((triple1) -> rule3) OR ((triple2) -> rule2))]
("bear" "is" "green" "+")
triple3
((triple1) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((triple2) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not blue.
False
1
inv-proof
[(triple2)]
("bear" "is" "blue" "-")
triple2
The bear is rough.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is not rough.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "is" "rough" "-")
((triple1) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is not nice.
Unknown
inv-random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "-")
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 visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple3 OR ((triple1) -> rule3) OR ((triple2) -> rule2))] @1: The bear is rough.[(((triple1) -> rule1))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
((triple1) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((triple2) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1