Erin is blue. Erin is nice. Erin is quiet. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is white. All smart things are quiet. If something is blue and quiet then it is green. All green things are cold. Cold, blue things are nice. If something is cold then it is smart. All green things are cold. If something is blue and green then it is nice. If Erin is green and Erin is smart then Erin is blue.
Erin is smart.
@0: Erin is blue.[(triple1)] Erin is nice.[(triple2 OR ((triple1 ((triple1 triple3) -> rule2)) -> rule7) OR ((((((triple1 triple3) -> rule2)) -> rule3) triple1) -> rule4) OR ((((((triple1 triple3) -> rule2)) -> rule6) triple1) -> rule4))] Erin is quiet.[(triple3)] Fiona is green.[(triple4)] Fiona is nice.[(triple5)] Fiona is quiet.[(triple6 OR ((((((triple4) -> rule3)) -> rule5)) -> rule1) OR ((((((triple4) -> rule6)) -> rule5)) -> rule1))] Fiona is white.[(triple7)] @1: Erin is green.[(((triple1 triple3) -> rule2))] Fiona is cold.[(((triple4) -> rule3) OR ((triple4) -> rule6))] @2: Erin is cold.[(((((triple1 triple3) -> rule2)) -> rule3) OR ((((triple1 triple3) -> rule2)) -> rule6))] Fiona is smart.[(((((triple4) -> rule3)) -> rule5) OR ((((triple4) -> rule6)) -> rule5))] @3: Erin is smart.[(((((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((((triple1 triple3) -> rule2)) -> rule6)) -> rule5))]