Erin is nice. Erin is quiet. Erin is smart. Fiona is big. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. If Erin is quiet and Erin is red then Erin is nice. Nice things are red. All round, big things are smart. All big, quiet things are white. White, nice things are red. If Erin is red and Erin is quiet then Erin is big. If Erin is nice then Erin is red. If Fiona is smart and Fiona is nice then Fiona is red.
Fiona is red.
@0: Erin is nice.[(triple1)] Erin is quiet.[(triple2)] Erin is smart.[(triple3)] Fiona is big.[(triple4)] Fiona is nice.[(triple5)] Fiona is quiet.[(triple6)] Fiona is red.[(triple7 OR ((triple5) -> rule2) OR ((triple10 triple5) -> rule5) OR ((triple9 triple5) -> rule8) OR ((((triple4 triple6) -> rule4) triple5) -> rule5) OR ((((triple8 triple4) -> rule3) triple5) -> rule8))] Fiona is round.[(triple8)] Fiona is smart.[(triple9 OR ((triple8 triple4) -> rule3))] Fiona is white.[(triple10 OR ((triple4 triple6) -> rule4))] @1: Erin is red.[(((triple1) -> rule2) OR ((triple1) -> rule7))] @2: Erin is big.[(((((triple1) -> rule2) triple2) -> rule6) OR ((((triple1) -> rule7) triple2) -> rule6))] @3: Erin is white.[(((((((triple1) -> rule2) triple2) -> rule6) triple2) -> rule4) OR ((((((triple1) -> rule7) triple2) -> rule6) triple2) -> rule4))]