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