Charlie is blue. Erin is cold. Erin is nice. Erin is quiet. Erin is smart. Fiona is cold. Fiona is quiet. If Erin is round and Erin is nice then Erin is blue. If someone is nice and quiet then they are cold. All cold, nice people are blue. Round people are cold. If someone is quiet then they are cold. If someone is blue and round then they are cold. Blue people are round. If someone is round and nice then they are red.
Fiona is not smart.
@0: Charlie is blue.[(triple1)] Erin is cold.[(triple2 OR ((triple4) -> rule5) OR ((triple3 triple4) -> rule2))] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Erin is smart.[(triple5)] Fiona is cold.[(triple6 OR ((triple7) -> rule5))] Fiona is quiet.[(triple7)] @1: Charlie is round.[(((triple1) -> rule7))] Erin is blue.[(((triple2 triple3) -> rule3) OR ((((triple4) -> rule5) triple3) -> rule3) OR ((((triple3 triple4) -> rule2) triple3) -> rule3))] @2: Charlie is cold.[(((((triple1) -> rule7)) -> rule4) OR ((triple1 ((triple1) -> rule7)) -> rule6))] Erin is round.[(((((triple2 triple3) -> rule3)) -> rule7) OR ((((((triple4) -> rule5) triple3) -> rule3)) -> rule7) OR ((((((triple3 triple4) -> rule2) triple3) -> rule3)) -> rule7))] @3: Erin is red.[(((((((triple2 triple3) -> rule3)) -> rule7) triple3) -> rule8) OR ((((((((triple4) -> rule5) triple3) -> rule3)) -> rule7) triple3) -> rule8) OR ((((((((triple3 triple4) -> rule2) triple3) -> rule3)) -> rule7) triple3) -> rule8))]