The bear is red. The bear is rough. The bear is young. If someone is young then they are rough. All cold, rough people are kind. If the bear is red and the bear is cold then the bear is young. Kind, young people are red. Kind people are cold. If someone is rough then they are young. All rough people are kind. Young, kind people are cold.
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is young.
("bear" "is" "young" "+")
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
All cold, rough people are kind.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If the bear is red and the bear is cold then the bear is young.
((("bear" "is" "red" "+") ("bear" "is" "cold" "+")) -> ("bear" "is" "young" "+"))
Kind, young people are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
Kind people are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
All rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Young, kind people are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
The bear is young.
True
1
proof
[(triple3 OR ((triple2) -> rule6) OR ((triple1 ((((triple2) -> rule7)) -> rule5)) -> rule3))]
("bear" "is" "young" "+")
triple3
((triple2) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
((triple1 ((((triple2) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear is not red.
False
1
inv-proof
[(triple1 OR ((((triple2) -> rule7) triple3) -> rule4) OR ((((triple2) -> rule7) ((triple2) -> rule6)) -> rule4) OR ((((((triple3) -> rule1)) -> rule7) triple3) -> rule4) OR ((((((triple3) -> rule1)) -> rule7) ((triple2) -> rule6)) -> rule4))]
("bear" "is" "red" "-")
triple1
((((triple2) -> (rule7 % int2)) triple3) -> (rule4 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
((((triple2) -> (rule7 % int3)) ((triple2) -> (rule6 % int2))) -> (rule4 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
((((((triple3) -> (rule1 % int3))) -> (rule7 % int2)) triple3) -> (rule4 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
((((((triple3) -> (rule1 % int4))) -> (rule7 % int3)) ((triple2) -> (rule6 % int2))) -> (rule4 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The bear is kind.
True
2
proof
[(((triple2) -> rule7) OR ((((triple3) -> rule1)) -> rule7))]
("bear" "is" "kind" "+")
((triple2) -> (rule7 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule7 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is not kind.
False
2
inv-proof
[(((triple2) -> rule7) OR ((((triple3) -> rule1)) -> rule7))]
("bear" "is" "kind" "-")
((triple2) -> (rule7 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule7 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is cold.
True
3
proof
[(((((triple2) -> rule7)) -> rule5) OR ((triple3 ((triple2) -> rule7)) -> rule8) OR ((((triple2) -> rule6) ((triple2) -> rule7)) -> rule8) OR ((((((triple3) -> rule1)) -> rule7)) -> rule5) OR ((triple3 ((((triple3) -> rule1)) -> rule7)) -> rule8) OR ((((triple2) -> rule6) ((((triple3) -> rule1)) -> rule7)) -> rule8))]
("bear" "is" "cold" "+")
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
((triple3 ((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
((((triple2) -> (rule6 % int3)) ((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
((triple3 ((((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
((((triple2) -> (rule6 % int4)) ((((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The bear is young.
("bear" "is" "young" "+")
int4
The bear is not cold.
False
3
inv-proof
[(((((triple2) -> rule7)) -> rule5) OR ((triple3 ((triple2) -> rule7)) -> rule8) OR ((((triple2) -> rule6) ((triple2) -> rule7)) -> rule8) OR ((((((triple3) -> rule1)) -> rule7)) -> rule5) OR ((triple3 ((((triple3) -> rule1)) -> rule7)) -> rule8) OR ((((triple2) -> rule6) ((((triple3) -> rule1)) -> rule7)) -> rule8))]
("bear" "is" "cold" "-")
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
((triple3 ((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
((((triple2) -> (rule6 % int3)) ((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
((triple3 ((((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
((((triple2) -> (rule6 % int4)) ((((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The bear is young.
("bear" "is" "young" "+")
int4
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 red.[(triple1 OR ((((triple2) -> rule7) triple3) -> rule4) OR ((((triple2) -> rule7) ((triple2) -> rule6)) -> rule4) OR ((((((triple3) -> rule1)) -> rule7) triple3) -> rule4) OR ((((((triple3) -> rule1)) -> rule7) ((triple2) -> rule6)) -> rule4))] The bear is rough.[(triple2 OR ((triple3) -> rule1))] The bear is young.[(triple3 OR ((triple2) -> rule6) OR ((triple1 ((((triple2) -> rule7)) -> rule5)) -> rule3))] @1: The bear is kind.[(((triple2) -> rule7) OR ((((triple3) -> rule1)) -> rule7))] @2: The bear is cold.[(((((triple2) -> rule7)) -> rule5) OR ((triple3 ((triple2) -> rule7)) -> rule8) OR ((((triple2) -> rule6) ((triple2) -> rule7)) -> rule8) OR ((((((triple3) -> rule1)) -> rule7)) -> rule5) OR ((triple3 ((((triple3) -> rule1)) -> rule7)) -> rule8) OR ((((triple2) -> rule6) ((((triple3) -> rule1)) -> rule7)) -> rule8))]
The bear is red.
("bear" "is" "red" "+")
triple1
((((triple2) -> (rule7 % int2)) triple3) -> (rule4 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
((((triple2) -> (rule7 % int3)) ((triple2) -> (rule6 % int2))) -> (rule4 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
((((((triple3) -> (rule1 % int3))) -> (rule7 % int2)) triple3) -> (rule4 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
((((((triple3) -> (rule1 % int4))) -> (rule7 % int3)) ((triple2) -> (rule6 % int2))) -> (rule4 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The bear is rough.
("bear" "is" "rough" "+")
triple2
((triple3) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is young.
("bear" "is" "young" "+")
triple3
((triple2) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
((triple1 ((((triple2) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
((triple2) -> (rule7 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule7 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
((triple3 ((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
((((triple2) -> (rule6 % int3)) ((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
((triple3 ((((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
((((triple2) -> (rule6 % int4)) ((((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The bear is young.
("bear" "is" "young" "+")
int4