Charlie is blue. Charlie is cold. Charlie is smart. Gary is big. Gary is blue. Gary is round. Gary is young. All furry, smart things are cold. If Charlie is young then Charlie is furry. All big things are round. All big things are smart. If something is young then it is smart. If something is furry and cold then it is round. If something is cold and blue then it is young. All smart things are young.
Gary is not cold.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((((((triple3) -> rule8)) -> rule2) triple3) -> rule1))] Charlie is smart.[(triple3 OR ((((triple2 triple1) -> rule7)) -> rule5))] Gary is big.[(triple4)] Gary is blue.[(triple5)] Gary is round.[(triple6 OR ((triple4) -> rule3))] Gary is young.[(triple7 OR ((((triple4) -> rule4)) -> rule8))] @1: Charlie is young.[(((triple3) -> rule8) OR ((triple2 triple1) -> rule7))] Gary is smart.[(((triple4) -> rule4) OR ((triple7) -> rule5))] @2: Charlie is furry.[(((((triple3) -> rule8)) -> rule2) OR ((((triple2 triple1) -> rule7)) -> rule2))] @3: Charlie is round.[(((((((triple3) -> rule8)) -> rule2) triple2) -> rule6) OR ((((((triple2 triple1) -> rule7)) -> rule2) triple2) -> rule6) OR ((((((triple3) -> rule8)) -> rule2) ((((((triple3) -> rule8)) -> rule2) triple3) -> rule1)) -> rule6) OR ((((((triple2 triple1) -> rule7)) -> rule2) ((((((triple3) -> rule8)) -> rule2) triple3) -> rule1)) -> rule6))]