Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is red. Erin is smart. Erin is white. Fiona is blue. Fiona is kind. Fiona is smart. Fiona is white. Gary is blue. Gary is cold. Gary is red. Gary is smart. Gary is white. If Fiona is white then Fiona is cold. All blue, red people are white. If Gary is kind and Gary is white then Gary is smart. All smart, red people are furry. If Erin is white and Erin is red then Erin is furry. If Fiona is furry then Fiona is smart. If Fiona is cold then Fiona is red. Furry, smart people are blue.
Erin is smart.
@0: Erin is blue.[(triple1 OR ((triple3 triple6) -> rule8) OR ((((triple6 triple5) -> rule4) triple6) -> rule8) OR ((((triple7 triple5) -> rule5) triple6) -> rule8))] Erin is cold.[(triple2)] Erin is furry.[(triple3 OR ((triple6 triple5) -> rule4) OR ((triple7 triple5) -> rule5) OR ((((triple1 triple5) -> rule2) triple5) -> rule5))] Erin is kind.[(triple4)] Erin is red.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7 OR ((triple1 triple5) -> rule2) OR ((((triple3 triple6) -> rule8) triple5) -> rule2) OR ((((((triple6 triple5) -> rule4) triple6) -> rule8) triple5) -> rule2))] Fiona is blue.[(triple8 OR ((((triple10 ((((triple11) -> rule1)) -> rule7)) -> rule4) triple10) -> rule8))] Fiona is kind.[(triple9)] Fiona is smart.[(triple10)] Fiona is white.[(triple11)] Gary is blue.[(triple12 OR ((((triple15 triple14) -> rule4) triple15) -> rule8))] Gary is cold.[(triple13)] Gary is red.[(triple14)] Gary is smart.[(triple15)] Gary is white.[(triple16 OR ((triple12 triple14) -> rule2) OR ((((((triple15 triple14) -> rule4) triple15) -> rule8) triple14) -> rule2))] @1: Fiona is cold.[(((triple11) -> rule1))] Gary is furry.[(((triple15 triple14) -> rule4))] @2: Fiona is red.[(((((triple11) -> rule1)) -> rule7))] @3: Fiona is furry.[(((triple10 ((((triple11) -> rule1)) -> rule7)) -> rule4))]