Charlie is big. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is round. Charlie is white. Gary is furry. Gary is nice. Gary is white. All round, furry people are nice. All kind, cold people are big. If someone is nice and white then they are cold. Furry people are kind. Round, big people are white. All cold people are nice. All furry people are big. Cold, big people are white.
Charlie is big.
@0: Charlie is big.[(triple1 OR ((triple3) -> rule7) OR ((triple4 triple2) -> rule2) OR ((triple4 ((triple5 triple7) -> rule3)) -> rule2) OR ((((triple3) -> rule4) triple2) -> rule2) OR ((((triple3) -> rule4) ((triple5 triple7) -> rule3)) -> rule2) OR ((triple4 ((((triple6 triple3) -> rule1) triple7) -> rule3)) -> rule2) OR ((((triple3) -> rule4) ((((triple6 triple3) -> rule1) triple7) -> rule3)) -> rule2))] Charlie is cold.[(triple2 OR ((triple5 triple7) -> rule3) OR ((triple5 ((triple6 triple1) -> rule5)) -> rule3) OR ((((triple6 triple3) -> rule1) triple7) -> rule3) OR ((((triple6 triple3) -> rule1) ((triple6 triple1) -> rule5)) -> rule3) OR ((triple5 ((triple6 ((triple3) -> rule7)) -> rule5)) -> rule3) OR ((((triple6 triple3) -> rule1) ((triple6 ((triple3) -> rule7)) -> rule5)) -> rule3))] Charlie is furry.[(triple3)] Charlie is kind.[(triple4 OR ((triple3) -> rule4))] Charlie is nice.[(triple5 OR ((triple2) -> rule6) OR ((triple6 triple3) -> rule1))] Charlie is round.[(triple6)] Charlie is white.[(triple7 OR ((triple2 triple1) -> rule8) OR ((triple6 triple1) -> rule5) OR ((triple2 ((triple3) -> rule7)) -> rule8) OR ((triple2 ((triple4 triple2) -> rule2)) -> rule8) OR ((triple6 ((triple3) -> rule7)) -> rule5) OR ((triple6 ((triple4 triple2) -> rule2)) -> rule5) OR ((triple2 ((((triple3) -> rule4) triple2) -> rule2)) -> rule8) OR ((triple6 ((((triple3) -> rule4) triple2) -> rule2)) -> rule5))] Gary is furry.[(triple8)] Gary is nice.[(triple9)] Gary is white.[(triple10)] @1: Gary is big.[(((triple8) -> rule7) OR ((((triple8) -> rule4) ((triple9 triple10) -> rule3)) -> rule2))] Gary is cold.[(((triple9 triple10) -> rule3))] Gary is kind.[(((triple8) -> rule4))]