Fiona is not blue. Fiona is not kind. Fiona is nice. Gary is blue. Gary is not cold. Gary is furry. Gary is kind. Gary is nice. Gary is rough. Gary is white. White, blue things are kind. If something is cold and not nice then it is not kind. Rough things are kind. If something is nice then it is not cold. If something is kind then it is not cold. If Fiona is blue then Fiona is cold. Nice, white things are rough. If Gary is cold then Gary is blue.
Fiona is not rough.
@0: Fiona is nice.[(triple3)] Fiona is not blue.[(triple1)] Fiona is not kind.[(triple2)] Gary is blue.[(triple4)] Gary is furry.[(triple6)] Gary is kind.[(triple7 OR ((triple9) -> rule3) OR ((triple10 triple4) -> rule1) OR ((((triple8 triple10) -> rule7)) -> rule3))] Gary is nice.[(triple8)] Gary is not cold.[(triple5 OR ((triple7) -> rule5) OR ((triple8) -> rule4) OR ((((triple9) -> rule3)) -> rule5) OR ((((triple10 triple4) -> rule1)) -> rule5) OR ((((((triple8 triple10) -> rule7)) -> rule3)) -> rule5))] Gary is rough.[(triple9 OR ((triple8 triple10) -> rule7))] Gary is white.[(triple10)] @1: Fiona is not cold.[(((triple3) -> rule4))]