Bob is blue. Erin is white. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is round. Fiona is young. Harry is blue. Harry is not cold. Harry is not nice. Harry is not white. Harry is young. Furry people are nice. All furry people are nice. Blue people are young. If someone is white and nice then they are not young. If Harry is furry and Harry is blue then Harry is cold. If Erin is white and Erin is cold then Erin is blue. Nice people are cold. If Harry is not round and Harry is not nice then Harry is young.
Fiona is not furry.
@0: Bob is blue.[(triple1)] Erin is white.[(triple2)] Fiona is blue.[(triple3)] Fiona is cold.[(triple4 OR ((((triple5) -> rule1)) -> rule7) OR ((((triple5) -> rule2)) -> rule7))] Fiona is furry.[(triple5)] Fiona is round.[(triple6)] Fiona is young.[(triple7 OR ((triple3) -> rule3))] Harry is blue.[(triple8)] Harry is not cold.[(triple9)] Harry is not nice.[(triple10)] Harry is not white.[(triple11)] Harry is young.[(triple12 OR ((triple8) -> rule3))] @1: Bob is young.[(((triple1) -> rule3))] Fiona is nice.[(((triple5) -> rule1) OR ((triple5) -> rule2))]