The bear is cold. The bear is nice. The bear is red. The bear is round. The bear is young. Cold people are round. If the bear is young then the bear is round. If someone is nice then they are round. If the bear is cold and the bear is round then the bear is nice. All round, cold people are red. Round, nice people are red.
The bear is cold.
("bear" "is" "cold" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
Cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If the bear is young then the bear is round.
((("bear" "is" "young" "+")) -> ("bear" "is" "round" "+"))
If someone is nice then they are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If the bear is cold and the bear is round then the bear is nice.
((("bear" "is" "cold" "+") ("bear" "is" "round" "+")) -> ("bear" "is" "nice" "+"))
All round, cold people are red.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Round, nice people are red.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
The bear is young.
True
1
proof
[(triple5)]
("bear" "is" "young" "+")
triple5
The bear is not cold.
False
1
inv-proof
[(triple1)]
("bear" "is" "cold" "-")
triple1
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "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 cold.[(triple1)] The bear is nice.[(triple2 OR ((triple1 triple4) -> rule4) OR ((triple1 ((triple1) -> rule1)) -> rule4) OR ((triple1 ((triple5) -> rule2)) -> rule4))] The bear is red.[(triple3 OR ((triple4 triple1) -> rule5) OR ((triple4 triple2) -> rule6) OR ((triple4 ((triple1 triple4) -> rule4)) -> rule6) OR ((((triple1) -> rule1) triple1) -> rule5) OR ((((triple1) -> rule1) triple2) -> rule6) OR ((((triple2) -> rule3) triple1) -> rule5) OR ((((triple2) -> rule3) triple2) -> rule6) OR ((((triple5) -> rule2) triple1) -> rule5) OR ((((triple5) -> rule2) triple2) -> rule6) OR ((((triple1) -> rule1) ((triple1 triple4) -> rule4)) -> rule6) OR ((((triple2) -> rule3) ((triple1 triple4) -> rule4)) -> rule6) OR ((((triple5) -> rule2) ((triple1 triple4) -> rule4)) -> rule6) OR ((triple4 ((triple1 ((triple1) -> rule1)) -> rule4)) -> rule6) OR ((triple4 ((triple1 ((triple5) -> rule2)) -> rule4)) -> rule6) OR ((((triple1) -> rule1) ((triple1 ((triple1) -> rule1)) -> rule4)) -> rule6) OR ((((triple1) -> rule1) ((triple1 ((triple5) -> rule2)) -> rule4)) -> rule6) OR ((((triple2) -> rule3) ((triple1 ((triple1) -> rule1)) -> rule4)) -> rule6) OR ((((triple2) -> rule3) ((triple1 ((triple5) -> rule2)) -> rule4)) -> rule6) OR ((((triple5) -> rule2) ((triple1 ((triple1) -> rule1)) -> rule4)) -> rule6) OR ((((triple5) -> rule2) ((triple1 ((triple5) -> rule2)) -> rule4)) -> rule6))] The bear is round.[(triple4 OR ((triple1) -> rule1) OR ((triple2) -> rule3) OR ((triple5) -> rule2))] The bear is young.[(triple5)]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
((triple1 triple4) -> (rule4 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
((triple1 ((triple1) -> (rule1 % int2))) -> (rule4 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
((triple1 ((triple5) -> (rule2 % int2))) -> (rule4 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is red.
("bear" "is" "red" "+")
triple3
((triple4 triple1) -> (rule5 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
((triple4 triple2) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
((triple4 ((triple1 triple4) -> (rule4 % int2))) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
((((triple1) -> (rule1 % int2)) triple1) -> (rule5 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
((((triple1) -> (rule1 % int2)) triple2) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
((((triple2) -> (rule3 % int2)) triple1) -> (rule5 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
((((triple2) -> (rule3 % int2)) triple2) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
((((triple5) -> (rule2 % int2)) triple1) -> (rule5 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
((((triple5) -> (rule2 % int2)) triple2) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
((((triple1) -> (rule1 % int3)) ((triple1 triple4) -> (rule4 % int2))) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
((((triple2) -> (rule3 % int3)) ((triple1 triple4) -> (rule4 % int2))) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
((((triple5) -> (rule2 % int3)) ((triple1 triple4) -> (rule4 % int2))) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
((triple4 ((triple1 ((triple1) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
((triple4 ((triple1 ((triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
((((triple1) -> (rule1 % int3)) ((triple1 ((triple1) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
((((triple1) -> (rule1 % int3)) ((triple1 ((triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
((((triple2) -> (rule3 % int3)) ((triple1 ((triple1) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
((((triple2) -> (rule3 % int3)) ((triple1 ((triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
((((triple5) -> (rule2 % int3)) ((triple1 ((triple1) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
((((triple5) -> (rule2 % int3)) ((triple1 ((triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The bear is round.
("bear" "is" "round" "+")
triple4
((triple1) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
((triple2) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
((triple5) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is young.
("bear" "is" "young" "+")
triple5