The bear is blue. The bear is not green. The bear is red. The bear is rough. The bear is round. Rough things are red. All green, rough things are red. If something is green and not blue then it is red. If the bear is not blue then the bear is red. If the bear is blue then the bear is rough. All round things are rough.
The bear is blue.
("bear" "is" "blue" "+")
The bear is not green.
("bear" "is" "green" "-")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
Rough things are red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
All green, rough things are red.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If something is green and not blue then it is red.
((("something" "is" "green" "+") ("something" "is" "blue" "~")) -> ("something" "is" "red" "+"))
If the bear is not blue then the bear is red.
((("bear" "is" "blue" "~")) -> ("bear" "is" "red" "+"))
If the bear is blue then the bear is rough.
((("bear" "is" "blue" "+")) -> ("bear" "is" "rough" "+"))
All round things are rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
The bear is red.
True
1
proof
[(triple3 OR ((triple4) -> rule1) OR ((((triple1) -> rule5)) -> rule1) OR ((((triple5) -> rule6)) -> rule1))]
("bear" "is" "red" "+")
triple3
((triple4) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
((((triple5) -> (rule6 % int2))) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is not rough.
False
1
inv-proof
[(triple4 OR ((triple1) -> rule5) OR ((triple5) -> rule6))]
("bear" "is" "rough" "-")
triple4
((triple1) -> (rule5 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
((triple5) -> (rule6 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
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 bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear is blue.[(triple1)] The bear is not green.[(triple2)] The bear is red.[(triple3 OR ((triple4) -> rule1) OR ((((triple1) -> rule5)) -> rule1) OR ((((triple5) -> rule6)) -> rule1))] The bear is rough.[(triple4 OR ((triple1) -> rule5) OR ((triple5) -> rule6))] The bear is round.[(triple5)]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is not green.
("bear" "is" "green" "-")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
((triple4) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
((((triple5) -> (rule6 % int2))) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
triple4
((triple1) -> (rule5 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
((triple5) -> (rule6 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is round.
("bear" "is" "round" "+")
triple5