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