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