Bob is smart. Charlie is kind. Charlie is red. Fiona is furry. Fiona is not nice. Harry is nice. Harry is red. Red, furry people are white. Round people are red. If Fiona is furry then Fiona is round. If someone is white then they are smart. White people are not kind. If Bob is furry and Bob is red then Bob is not smart.
Fiona is red.
@0: Bob is smart.[(triple1)] Charlie is kind.[(triple2)] Charlie is red.[(triple3)] Fiona is furry.[(triple4)] Fiona is not nice.[(triple5)] Harry is nice.[(triple6)] Harry is red.[(triple7)] @1: Fiona is round.[(((triple4) -> rule3))] @2: Fiona is red.[(((((triple4) -> rule3)) -> rule2))] @3: Fiona is white.[(((((((triple4) -> rule3)) -> rule2) triple4) -> rule1))] @4: Fiona is not kind.[(((((((((triple4) -> rule3)) -> rule2) triple4) -> rule1)) -> rule5))] Fiona is smart.[(((((((((triple4) -> rule3)) -> rule2) triple4) -> rule1)) -> rule4))]