The bear is green. The bear is nice. The bear is red. The bear is round. The bear is young. If the bear is round and the bear is young then the bear is green. Round, nice people are young. All red people are young. If someone is red then they are nice. If someone is round and red then they are nice. All red, young people are nice. Red people are round. If someone is young and nice then they are red.
The bear is round.
@0: The bear is green.[(triple1 OR ((triple4 triple5) -> rule1) OR ((triple4 ((triple3) -> rule3)) -> rule1) OR ((triple4 ((triple4 triple2) -> rule2)) -> rule1) OR ((((triple3) -> rule7) triple5) -> rule1) OR ((((triple3) -> rule7) ((triple3) -> rule3)) -> rule1) OR ((((triple3) -> rule7) ((triple4 triple2) -> rule2)) -> rule1) OR ((triple4 ((triple4 ((triple3) -> rule4)) -> rule2)) -> rule1) OR ((triple4 ((triple4 ((triple4 triple3) -> rule5)) -> rule2)) -> rule1) OR ((triple4 ((((triple3) -> rule7) triple2) -> rule2)) -> rule1) OR ((((((triple5 triple2) -> rule8)) -> rule7) triple5) -> rule1) OR ((triple4 ((((triple3) -> rule7) ((triple3) -> rule4)) -> rule2)) -> rule1) OR ((triple4 ((((triple3) -> rule7) ((triple4 triple3) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule7) ((triple4 ((triple3) -> rule4)) -> rule2)) -> rule1) OR ((((triple3) -> rule7) ((triple4 ((triple4 triple3) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule7) ((((triple3) -> rule7) triple2) -> rule2)) -> rule1) OR ((((((triple5 triple2) -> rule8)) -> rule7) ((triple3) -> rule3)) -> rule1) OR ((((((triple5 triple2) -> rule8)) -> rule7) ((triple4 triple2) -> rule2)) -> rule1) OR ((((triple3) -> rule7) ((((triple3) -> rule7) ((triple3) -> rule4)) -> rule2)) -> rule1) OR ((((triple3) -> rule7) ((((triple3) -> rule7) ((triple4 triple3) -> rule5)) -> rule2)) -> rule1) OR ((((((triple5 triple2) -> rule8)) -> rule7) ((triple4 ((triple3) -> rule4)) -> rule2)) -> rule1) OR ((((((triple5 triple2) -> rule8)) -> rule7) ((triple4 ((triple4 triple3) -> rule5)) -> rule2)) -> rule1) OR ((((((triple5 triple2) -> rule8)) -> rule7) ((((triple3) -> rule7) triple2) -> rule2)) -> rule1) OR ((((((triple5 triple2) -> rule8)) -> rule7) ((((triple3) -> rule7) ((triple3) -> rule4)) -> rule2)) -> rule1) OR ((((((triple5 triple2) -> rule8)) -> rule7) ((((triple3) -> rule7) ((triple4 triple3) -> rule5)) -> rule2)) -> rule1) OR ((triple4 ((triple4 ((((triple3) -> rule7) triple3) -> rule5)) -> rule2)) -> rule1) OR ((triple4 ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule7) ((triple4 ((((triple3) -> rule7) triple3) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule7) ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule5)) -> rule2)) -> rule1) OR ((((((triple5 triple2) -> rule8)) -> rule7) ((triple4 ((((triple3) -> rule7) triple3) -> rule5)) -> rule2)) -> rule1) OR ((((((triple5 triple2) -> rule8)) -> rule7) ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule5)) -> rule2)) -> rule1))] The bear is nice.[(triple2 OR ((triple3) -> rule4) OR ((triple3 triple5) -> rule6) OR ((triple4 triple3) -> rule5) OR ((triple3 ((triple3) -> rule3)) -> rule6) OR ((((triple3) -> rule7) triple3) -> rule5))] The bear is red.[(triple3 OR ((triple5 triple2) -> rule8) OR ((((triple4 triple2) -> rule2) triple2) -> rule8))] The bear is round.[(triple4 OR ((triple3) -> rule7) OR ((((triple5 triple2) -> rule8)) -> rule7))] The bear is young.[(triple5 OR ((triple3) -> rule3) OR ((triple4 triple2) -> rule2) OR ((triple4 ((triple3) -> rule4)) -> rule2) OR ((triple4 ((triple4 triple3) -> rule5)) -> rule2) OR ((((triple3) -> rule7) triple2) -> rule2) OR ((((triple3) -> rule7) ((triple3) -> rule4)) -> rule2) OR ((((triple3) -> rule7) ((triple4 triple3) -> rule5)) -> rule2) OR ((triple4 ((((triple3) -> rule7) triple3) -> rule5)) -> rule2) OR ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule5)) -> rule2))]