The bear is round. If someone is green and round then they are nice. All green people are nice. If someone is red and young then they are nice. Green, round people are nice. All round people are red. Young people are not red. If someone is nice then they are not young. All red people are green.
The bear is round.
("bear" "is" "round" "+")
If someone is green and round then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
All green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and young then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Green, round people are nice.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
All round people are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Young people are not red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "-"))
If someone is nice then they are not young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "-"))
All red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
The bear is round.
True
1
proof
[(triple1)]
("bear" "is" "round" "+")
triple1
The bear is not round.
False
1
inv-proof
[(triple1)]
("bear" "is" "round" "-")
triple1
The bear is red.
True
2
proof
[(((triple1) -> rule5))]
("bear" "is" "red" "+")
((triple1) -> (rule5 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is not red.
False
2
inv-proof
[(((triple1) -> rule5))]
("bear" "is" "red" "-")
((triple1) -> (rule5 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is green.
True
3
proof
[(((((triple1) -> rule5)) -> rule8))]
("bear" "is" "green" "+")
((((triple1) -> (rule5 % int2))) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear is not green.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule8))]
("bear" "is" "green" "-")
((((triple1) -> (rule5 % int2))) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear is nice.
True
4
proof
[(((((((triple1) -> rule5)) -> rule8)) -> rule2) OR ((((((triple1) -> rule5)) -> rule8) triple1) -> rule1) OR ((((((triple1) -> rule5)) -> rule8) triple1) -> rule4))]
("bear" "is" "nice" "+")
((((((triple1) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule8 % int2)) triple1) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule8 % int2)) triple1) -> (rule4 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear is not nice.
False
4
inv-proof
[(((((((triple1) -> rule5)) -> rule8)) -> rule2) OR ((((((triple1) -> rule5)) -> rule8) triple1) -> rule1) OR ((((((triple1) -> rule5)) -> rule8) triple1) -> rule4))]
("bear" "is" "nice" "-")
((((((triple1) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule8 % int2)) triple1) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule8 % int2)) triple1) -> (rule4 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear is round.[(triple1)] @1: The bear is red.[(((triple1) -> rule5))] @2: The bear is green.[(((((triple1) -> rule5)) -> rule8))] @3: The bear is nice.[(((((((triple1) -> rule5)) -> rule8)) -> rule2) OR ((((((triple1) -> rule5)) -> rule8) triple1) -> rule1) OR ((((((triple1) -> rule5)) -> rule8) triple1) -> rule4))] @4: The bear is not young.[(((((((((triple1) -> rule5)) -> rule8)) -> rule2)) -> rule7) OR ((((((((triple1) -> rule5)) -> rule8) triple1) -> rule1)) -> rule7) OR ((((((((triple1) -> rule5)) -> rule8) triple1) -> rule4)) -> rule7))]
The bear is round.
("bear" "is" "round" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
((triple1) -> (rule5 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is green.
("bear" "is" "green" "+")
((((triple1) -> (rule5 % int2))) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
((((((triple1) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule8 % int2)) triple1) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule8 % int2)) triple1) -> (rule4 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear is not young.
("bear" "is" "young" "-")
((((((((triple1) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear is not young.
("bear" "is" "young" "-")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bear is red.
("bear" "is" "red" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule8 % int3)) triple1) -> (rule1 % int2))) -> (rule7 % int1))
The bear is not young.
("bear" "is" "young" "-")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bear is red.
("bear" "is" "red" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule8 % int3)) triple1) -> (rule4 % int2))) -> (rule7 % int1))
The bear is not young.
("bear" "is" "young" "-")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bear is red.
("bear" "is" "red" "+")
int4