Bob is blue. Erin is cold. Erin is rough. Fiona is furry. Fiona is rough. Fiona is round. Fiona is white. Harry is blue. Harry is furry. Harry is rough. All cold, white things are round. If something is cold and round then it is kind. If Fiona is blue then Fiona is kind. Furry, white things are rough. If something is white and kind then it is cold. If Fiona is white and Fiona is kind then Fiona is furry. All white, kind things are rough. If something is furry then it is cold.
Fiona is not round.
@0: Bob is blue.[(triple1)] Erin is cold.[(triple2)] Erin is rough.[(triple3)] Fiona is furry.[(triple4)] Fiona is rough.[(triple5 OR ((triple4 triple7) -> rule4) OR ((triple7 ((((triple4) -> rule8) triple6) -> rule2)) -> rule7) OR ((triple7 ((((triple4) -> rule8) ((((triple4) -> rule8) triple7) -> rule1)) -> rule2)) -> rule7))] Fiona is round.[(triple6 OR ((((triple4) -> rule8) triple7) -> rule1))] Fiona is white.[(triple7)] Harry is blue.[(triple8)] Harry is furry.[(triple9)] Harry is rough.[(triple10)] @1: Fiona is cold.[(((triple4) -> rule8))] Harry is cold.[(((triple9) -> rule8))] @2: Fiona is kind.[(((((triple4) -> rule8) triple6) -> rule2) OR ((((triple4) -> rule8) ((((triple4) -> rule8) triple7) -> rule1)) -> rule2))]