Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is red. Charlie is young. All big things are cold. If Charlie is cold and Charlie is furry then Charlie is nice. Nice things are furry. If something is red and young then it is big. If something is nice and furry then it is young. If something is big and not furry then it is green.
Charlie is not young.
@0: Charlie is big.[(triple1 OR ((triple6 triple7) -> rule4) OR ((triple6 ((triple5 triple3) -> rule5)) -> rule4) OR ((triple6 ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule4) OR ((triple6 ((((triple2 triple3) -> rule2) triple3) -> rule5)) -> rule4) OR ((triple6 ((((triple2 triple3) -> rule2) ((triple5) -> rule3)) -> rule5)) -> rule4))] Charlie is cold.[(triple2 OR ((triple1) -> rule1) OR ((((triple6 triple7) -> rule4)) -> rule1) OR ((((triple6 ((triple5 triple3) -> rule5)) -> rule4)) -> rule1) OR ((((triple6 ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule4)) -> rule1))] Charlie is furry.[(triple3 OR ((triple5) -> rule3))] Charlie is green.[(triple4)] Charlie is nice.[(triple5 OR ((triple2 triple3) -> rule2) OR ((((triple1) -> rule1) triple3) -> rule2) OR ((((((triple6 triple7) -> rule4)) -> rule1) triple3) -> rule2))] Charlie is red.[(triple6)] Charlie is young.[(triple7 OR ((triple5 triple3) -> rule5) OR ((triple5 ((triple5) -> rule3)) -> rule5) OR ((((triple2 triple3) -> rule2) triple3) -> rule5) OR ((((triple2 triple3) -> rule2) ((triple5) -> rule3)) -> rule5) OR ((((((triple1) -> rule1) triple3) -> rule2) triple3) -> rule5) OR ((((((triple1) -> rule1) triple3) -> rule2) ((triple5) -> rule3)) -> rule5))]