Charlie is big. Charlie is cold. Charlie is green. Charlie is kind. Fiona is big. Fiona is cold. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is smart. Gary is big. Gary is cold. Gary is kind. Gary is red. Smart, cold things are green. If something is green then it is kind. If Fiona is cold and Fiona is red then Fiona is kind. Kind, big things are green. If Gary is quiet and Gary is big then Gary is kind. Kind things are red.
Gary is not smart.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3 OR ((triple4 triple1) -> rule4))] Charlie is kind.[(triple4 OR ((triple3) -> rule2))] Fiona is big.[(triple5)] Fiona is cold.[(triple6)] Fiona is green.[(triple7 OR ((triple11 triple6) -> rule1) OR ((triple8 triple5) -> rule4) OR ((((triple6 triple10) -> rule3) triple5) -> rule4))] Fiona is kind.[(triple8 OR ((triple7) -> rule2) OR ((triple6 triple10) -> rule3) OR ((((triple11 triple6) -> rule1)) -> rule2))] Fiona is quiet.[(triple9)] Fiona is red.[(triple10 OR ((triple8) -> rule6) OR ((((triple7) -> rule2)) -> rule6) OR ((((((triple11 triple6) -> rule1)) -> rule2)) -> rule6))] Fiona is smart.[(triple11)] Gary is big.[(triple12)] Gary is cold.[(triple13)] Gary is kind.[(triple14)] Gary is red.[(triple15 OR ((triple14) -> rule6))] @1: Charlie is red.[(((triple4) -> rule6) OR ((((triple3) -> rule2)) -> rule6))] Gary is green.[(((triple14 triple12) -> rule4))]