The bear is big. If the bear is round and the bear is big then the bear is young. Big things are round. All round, big things are rough. Round things are big. Rough things are big. Young things are blue.
The bear is big.
("bear" "is" "big" "+")
If the bear is round and the bear is big then the bear is young.
((("bear" "is" "round" "+") ("bear" "is" "big" "+")) -> ("bear" "is" "young" "+"))
Big things are round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
All round, big things are rough.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
Round things are big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
Rough things are big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
Young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
The bear is big.
True
1
proof
[(triple1)]
("bear" "is" "big" "+")
triple1
The bear is not big.
False
1
inv-proof
[(triple1)]
("bear" "is" "big" "-")
triple1
The bear is round.
True
2
proof
[(((triple1) -> rule2))]
("bear" "is" "round" "+")
((triple1) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is not round.
False
2
inv-proof
[(((triple1) -> rule2))]
("bear" "is" "round" "-")
((triple1) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is young.
True
4
proof
[(((((triple1) -> rule2) triple1) -> rule1))]
("bear" "is" "young" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is not young.
False
4
inv-proof
[(((((triple1) -> rule2) triple1) -> rule1))]
("bear" "is" "young" "-")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is blue.
True
5
proof
[(((((((triple1) -> rule2) triple1) -> rule1)) -> rule6))]
("bear" "is" "blue" "+")
((((((triple1) -> (rule2 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The bear is not blue.
False
5
inv-proof
[(((((((triple1) -> rule2) triple1) -> rule1)) -> rule6))]
("bear" "is" "blue" "-")
((((((triple1) -> (rule2 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "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 big.[(triple1)] @1: The bear is round.[(((triple1) -> rule2))] @2: The bear is rough.[(((((triple1) -> rule2) triple1) -> rule3))] The bear is young.[(((((triple1) -> rule2) triple1) -> rule1))] @3: The bear is blue.[(((((((triple1) -> rule2) triple1) -> rule1)) -> rule6))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
((triple1) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule3 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is young.
("bear" "is" "young" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
((((((triple1) -> (rule2 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3