The bear is rough. If something is blue then it is rough. Round, young things are red. If something is blue and round then it is red. Young, blue things are red. Blue, rough things are young. If something is blue then it is young. If the bear is rough and the bear is red then the bear is blue. Rough things are blue.
The bear is rough.
("bear" "is" "rough" "+")
If something is blue then it is rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
Round, young things are red.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
If something is blue and round then it is red.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
Young, blue things are red.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
Blue, rough things are young.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
If something is blue then it is young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If the bear is rough and the bear is red then the bear is blue.
((("bear" "is" "rough" "+") ("bear" "is" "red" "+")) -> ("bear" "is" "blue" "+"))
Rough things are blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
The bear is rough.
True
1
proof
[(triple1)]
("bear" "is" "rough" "+")
triple1
The bear is not rough.
False
1
inv-proof
[(triple1)]
("bear" "is" "rough" "-")
triple1
The bear is not round.
Unknown
inv-random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear is rough.[(triple1)] @1: The bear is blue.[(((triple1) -> rule8))] @2: The bear is young.[(((((triple1) -> rule8)) -> rule6) OR ((((triple1) -> rule8) triple1) -> rule5))] @3: The bear is red.[(((((((triple1) -> rule8)) -> rule6) ((triple1) -> rule8)) -> rule4) OR ((((((triple1) -> rule8) triple1) -> rule5) ((triple1) -> rule8)) -> rule4))]
The bear is rough.
("bear" "is" "rough" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
((triple1) -> (rule8 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
((((triple1) -> (rule8 % int2))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
((((triple1) -> (rule8 % int2)) triple1) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is red.
("bear" "is" "red" "+")
((((((triple1) -> (rule8 % int3))) -> (rule6 % int2)) ((triple1) -> (rule8 % int3))) -> (rule4 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
((((((triple1) -> (rule8 % int3)) triple1) -> (rule5 % int2)) ((triple1) -> (rule8 % int3))) -> (rule4 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3