Charlie is big. Charlie is cold. Charlie is green. Charlie is round. Charlie is young. Erin is cold. Erin is green. Erin is round. Gary is cold. Gary is furry. Gary is round. Gary is young. Harry is big. Harry is cold. Harry is kind. Harry is young. If Charlie is furry and Charlie is kind then Charlie is green. Green, round things are cold. If something is green then it is furry. All cold things are young. If Erin is round and Erin is furry then Erin is cold. If Harry is furry and Harry is green then Harry is round. All round things are green. All cold, young things are round.
Charlie is round.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2 OR ((triple3 triple4) -> rule2) OR ((((triple4) -> rule7) triple4) -> rule2))] Charlie is green.[(triple3 OR ((triple4) -> rule7) OR ((((triple2 triple5) -> rule8)) -> rule7) OR ((((triple2 ((triple2) -> rule4)) -> rule8)) -> rule7))] Charlie is round.[(triple4 OR ((triple2 triple5) -> rule8) OR ((triple2 ((triple2) -> rule4)) -> rule8))] Charlie is young.[(triple5 OR ((triple2) -> rule4) OR ((((triple3 triple4) -> rule2)) -> rule4) OR ((((((triple4) -> rule7) triple4) -> rule2)) -> rule4))] Erin is cold.[(triple6 OR ((triple7 triple8) -> rule2) OR ((triple8 ((triple7) -> rule3)) -> rule5) OR ((((triple8) -> rule7) triple8) -> rule2) OR ((triple8 ((((triple8) -> rule7)) -> rule3)) -> rule5))] Erin is green.[(triple7 OR ((triple8) -> rule7) OR ((((triple6 ((triple6) -> rule4)) -> rule8)) -> rule7))] Erin is round.[(triple8 OR ((triple6 ((triple6) -> rule4)) -> rule8))] Gary is cold.[(triple9 OR ((((triple11) -> rule7) triple11) -> rule2))] Gary is furry.[(triple10 OR ((((triple11) -> rule7)) -> rule3) OR ((((((triple9 triple12) -> rule8)) -> rule7)) -> rule3) OR ((((((triple9 ((triple9) -> rule4)) -> rule8)) -> rule7)) -> rule3))] Gary is round.[(triple11 OR ((triple9 triple12) -> rule8) OR ((triple9 ((triple9) -> rule4)) -> rule8))] Gary is young.[(triple12 OR ((triple9) -> rule4) OR ((((((triple11) -> rule7) triple11) -> rule2)) -> rule4))] Harry is big.[(triple13)] Harry is cold.[(triple14)] Harry is kind.[(triple15)] Harry is young.[(triple16 OR ((triple14) -> rule4))] @1: Charlie is furry.[(((triple3) -> rule3) OR ((((triple4) -> rule7)) -> rule3) OR ((((((triple2 triple5) -> rule8)) -> rule7)) -> rule3) OR ((((((triple2 ((triple2) -> rule4)) -> rule8)) -> rule7)) -> rule3))] Erin is furry.[(((triple7) -> rule3) OR ((((triple8) -> rule7)) -> rule3) OR ((((((triple6 ((triple6) -> rule4)) -> rule8)) -> rule7)) -> rule3))] Erin is young.[(((triple6) -> rule4) OR ((((triple7 triple8) -> rule2)) -> rule4) OR ((((triple8 ((triple7) -> rule3)) -> rule5)) -> rule4) OR ((((((triple8) -> rule7) triple8) -> rule2)) -> rule4) OR ((((triple8 ((((triple8) -> rule7)) -> rule3)) -> rule5)) -> rule4))] Gary is green.[(((triple11) -> rule7) OR ((((triple9 triple12) -> rule8)) -> rule7) OR ((((triple9 ((triple9) -> rule4)) -> rule8)) -> rule7))] Harry is round.[(((triple14 triple16) -> rule8) OR ((triple14 ((triple14) -> rule4)) -> rule8))] @2: Harry is green.[(((((triple14 triple16) -> rule8)) -> rule7) OR ((((triple14 ((triple14) -> rule4)) -> rule8)) -> rule7))] @3: Harry is furry.[(((((((triple14 triple16) -> rule8)) -> rule7)) -> rule3) OR ((((((triple14 ((triple14) -> rule4)) -> rule8)) -> rule7)) -> rule3))]