The bear is red. The bear is round. The bear is young. All rough, young things are red. Nice, young things are rough. If the bear is young then the bear is nice.
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
All rough, young things are red.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Nice, young things are rough.
((("something" "is" "nice" "+") ("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
If the bear is young then the bear is nice.
((("bear" "is" "young" "+")) -> ("bear" "is" "nice" "+"))
The bear is red.
True
1
proof
[(triple1 OR ((((((triple3) -> rule3) triple3) -> rule2) triple3) -> rule1))]
("bear" "is" "red" "+")
triple1
((((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int2)) triple3) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The bear is not young.
False
1
inv-proof
[(triple3)]
("bear" "is" "young" "-")
triple3
The bear is nice.
True
2
proof
[(((triple3) -> rule3))]
("bear" "is" "nice" "+")
((triple3) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is not nice.
False
2
inv-proof
[(((triple3) -> rule3))]
("bear" "is" "nice" "-")
((triple3) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear is red.[(triple1 OR ((((((triple3) -> rule3) triple3) -> rule2) triple3) -> rule1))] The bear is round.[(triple2)] The bear is young.[(triple3)] @1: The bear is nice.[(((triple3) -> rule3))] @2: The bear is rough.[(((((triple3) -> rule3) triple3) -> rule2))]
The bear is red.
("bear" "is" "red" "+")
triple1
((((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int2)) triple3) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The bear is round.
("bear" "is" "round" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
((triple3) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
((((triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2