Charlie is cold. Charlie is rough. Fiona is big. Fiona is blue. Fiona is kind. Fiona is red. Fiona is rough. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is kind. Harry is blue. Harry is cold. Harry is furry. Harry is red. All blue people are red. If someone is red then they are kind. All red people are kind.
Charlie is not rough.
@0: Charlie is cold.[(triple1)] Charlie is rough.[(triple2)] Fiona is big.[(triple3)] Fiona is blue.[(triple4)] Fiona is kind.[(triple5 OR ((triple6) -> rule2) OR ((triple6) -> rule3) OR ((((triple4) -> rule1)) -> rule2) OR ((((triple4) -> rule1)) -> rule3))] Fiona is red.[(triple6 OR ((triple4) -> rule1))] Fiona is rough.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is furry.[(triple11)] Gary is kind.[(triple12 OR ((((triple9) -> rule1)) -> rule2) OR ((((triple9) -> rule1)) -> rule3))] Harry is blue.[(triple13)] Harry is cold.[(triple14)] Harry is furry.[(triple15)] Harry is red.[(triple16 OR ((triple13) -> rule1))] @1: Gary is red.[(((triple9) -> rule1))] Harry is kind.[(((triple16) -> rule2) OR ((triple16) -> rule3) OR ((((triple13) -> rule1)) -> rule2) OR ((((triple13) -> rule1)) -> rule3))]