Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is white. If something is nice and blue then it is quiet. Blue, nice things are white. All nice, quiet things are white. If something is nice and not quiet then it is white. If something is white and cold then it is big. All blue things are furry. White things are furry. If something is cold and not nice then it is furry.
Charlie is big.
@0: Charlie is big.[(triple1 OR ((triple7 triple3) -> rule5) OR ((((triple2 triple5) -> rule2) triple3) -> rule5) OR ((((triple5 triple6) -> rule3) triple3) -> rule5) OR ((((triple5 ((triple5 triple2) -> rule1)) -> rule3) triple3) -> rule5))] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is furry.[(triple4 OR ((triple2) -> rule6) OR ((triple7) -> rule7) OR ((((triple2 triple5) -> rule2)) -> rule7) OR ((((triple5 triple6) -> rule3)) -> rule7) OR ((((triple5 ((triple5 triple2) -> rule1)) -> rule3)) -> rule7))] Charlie is nice.[(triple5)] Charlie is quiet.[(triple6 OR ((triple5 triple2) -> rule1))] Charlie is white.[(triple7 OR ((triple2 triple5) -> rule2) OR ((triple5 triple6) -> rule3) OR ((triple5 ((triple5 triple2) -> rule1)) -> rule3))]