Bob is cold. Bob is nice. Bob is red. Bob is round. Bob is smart. Bob is not white. Erin is nice. Erin is red. Erin is smart. Fiona is furry. Fiona is nice. Fiona is round. Fiona is white. Harry is cold. Harry is red. Harry is smart. Nice people are round. If Fiona is round then Fiona is cold. All round, cold people are nice. If someone is round and not nice then they are white. All round, red people are not white. If someone is nice and not white then they are furry.
Bob is not white.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2 OR ((triple4 triple1) -> rule3))] Bob is not white.[(triple6 OR ((triple4 triple3) -> rule5) OR ((((triple2) -> rule1) triple3) -> rule5))] Bob is red.[(triple3)] Bob is round.[(triple4 OR ((triple2) -> rule1))] Bob is smart.[(triple5)] Erin is nice.[(triple7)] Erin is red.[(triple8)] Erin is smart.[(triple9)] Fiona is furry.[(triple10)] Fiona is nice.[(triple11 OR ((triple12 ((triple12) -> rule2)) -> rule3))] Fiona is round.[(triple12 OR ((triple11) -> rule1))] Fiona is white.[(triple13)] Harry is cold.[(triple14)] Harry is red.[(triple15)] Harry is smart.[(triple16)] @1: Bob is furry.[(((triple2 triple6) -> rule6) OR ((triple2 ((triple4 triple3) -> rule5)) -> rule6) OR ((((triple4 triple1) -> rule3) triple6) -> rule6) OR ((((triple4 triple1) -> rule3) ((triple4 triple3) -> rule5)) -> rule6) OR ((triple2 ((((triple2) -> rule1) triple3) -> rule5)) -> rule6) OR ((((triple4 triple1) -> rule3) ((((triple2) -> rule1) triple3) -> rule5)) -> rule6))] Erin is round.[(((triple7) -> rule1))] Fiona is cold.[(((triple12) -> rule2) OR ((((triple11) -> rule1)) -> rule2))] @2: Erin is not white.[(((((triple7) -> rule1) triple8) -> rule5))] @3: Erin is furry.[(((triple7 ((((triple7) -> rule1) triple8) -> rule5)) -> rule6))]