The bear is round. If someone is round and green then they are blue. All blue people are big. All round people are big. If the bear is round and the bear is nice then the bear is blue. If someone is big then they are nice. Nice, round people are green. Blue people are green. If someone is nice and blue then they are round.
The bear is round.
("bear" "is" "round" "+")
If someone is round and green then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
All blue people are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
All round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If the bear is round and the bear is nice then the bear is blue.
((("bear" "is" "round" "+") ("bear" "is" "nice" "+")) -> ("bear" "is" "blue" "+"))
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Nice, round people are green.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and blue then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
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 big.
True
2
proof
[(((triple1) -> rule3))]
("bear" "is" "big" "+")
((triple1) -> (rule3 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is not big.
False
2
inv-proof
[(((triple1) -> rule3))]
("bear" "is" "big" "-")
((triple1) -> (rule3 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is nice.
True
3
proof
[(((((triple1) -> rule3)) -> rule5))]
("bear" "is" "nice" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is not nice.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule5))]
("bear" "is" "nice" "-")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is blue.
True
5
proof
[(((triple1 ((((triple1) -> rule3)) -> rule5)) -> rule4) OR ((triple1 ((((((triple1) -> rule3)) -> rule5) triple1) -> rule6)) -> rule1))]
("bear" "is" "blue" "+")
((triple1 ((((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
((triple1 ((((((triple1) -> (rule3 % int4))) -> (rule5 % int3)) triple1) -> (rule6 % int2))) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The bear is big.
("bear" "is" "big" "+")
int4
The bear is not green.
False
5
inv-proof
[(((((((triple1) -> rule3)) -> rule5) triple1) -> rule6) OR ((((triple1 ((((triple1) -> rule3)) -> rule5)) -> rule4)) -> rule7))]
("bear" "is" "green" "-")
((((((triple1) -> (rule3 % int3))) -> (rule5 % int2)) triple1) -> (rule6 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
((((triple1 ((((triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The bear is big.
("bear" "is" "big" "+")
int4
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 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 big.[(((triple1) -> rule3))] @2: The bear is nice.[(((((triple1) -> rule3)) -> rule5))] @3: The bear is blue.[(((triple1 ((((triple1) -> rule3)) -> rule5)) -> rule4) OR ((triple1 ((((((triple1) -> rule3)) -> rule5) triple1) -> rule6)) -> rule1))] The bear is green.[(((((((triple1) -> rule3)) -> rule5) triple1) -> rule6) OR ((((triple1 ((((triple1) -> rule3)) -> rule5)) -> rule4)) -> rule7))]
The bear is round.
("bear" "is" "round" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
((triple1) -> (rule3 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
((triple1 ((((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
((triple1 ((((((triple1) -> (rule3 % int4))) -> (rule5 % int3)) triple1) -> (rule6 % int2))) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The bear is big.
("bear" "is" "big" "+")
int4
The bear is green.
("bear" "is" "green" "+")
((((((triple1) -> (rule3 % int3))) -> (rule5 % int2)) triple1) -> (rule6 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
((((triple1 ((((triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The bear is big.
("bear" "is" "big" "+")
int4