Dave is red. Dave is smart. Erin is cold. Erin is smart. Erin is young. Fiona is cold. Fiona is furry. Fiona is smart. Fiona is young. Gary is smart. If someone is smart and furry then they are red. Kind, smart people are red. If someone is red then they are cold. All quiet, young people are furry. If someone is smart then they are kind. If Erin is smart then Erin is cold.
Fiona is kind.
@0: Dave is red.[(triple1 OR ((((triple2) -> rule5) triple2) -> rule2))] Dave is smart.[(triple2)] Erin is cold.[(triple3 OR ((triple4) -> rule6) OR ((((((triple4) -> rule5) triple4) -> rule2)) -> rule3))] Erin is smart.[(triple4)] Erin is young.[(triple5)] Fiona is cold.[(triple6 OR ((((triple8 triple7) -> rule1)) -> rule3) OR ((((((triple8) -> rule5) triple8) -> rule2)) -> rule3))] Fiona is furry.[(triple7)] Fiona is smart.[(triple8)] Fiona is young.[(triple9)] Gary is smart.[(triple10)] @1: Dave is cold.[(((triple1) -> rule3) OR ((((((triple2) -> rule5) triple2) -> rule2)) -> rule3))] Dave is kind.[(((triple2) -> rule5))] Erin is kind.[(((triple4) -> rule5))] Fiona is kind.[(((triple8) -> rule5))] Fiona is red.[(((triple8 triple7) -> rule1) OR ((((triple8) -> rule5) triple8) -> rule2))] Gary is kind.[(((triple10) -> rule5))] @2: Erin is red.[(((((triple4) -> rule5) triple4) -> rule2))] Gary is red.[(((((triple10) -> rule5) triple10) -> rule2))] @3: Gary is cold.[(((((((triple10) -> rule5) triple10) -> rule2)) -> rule3))]