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