Erin is nice. Erin is white. Fiona is quiet. Gary is white. Harry is cold. Harry is green. Harry is nice. Harry is quiet. Harry is round. Harry is white. All quiet people are round. If someone is quiet then they are round. If Erin is round then Erin is green. Nice people are cold. If someone is quiet and nice then they are cold. If someone is round then they are nice. If someone is cold then they are quiet. If Gary is quiet then Gary is not white. If someone is nice and green then they are smart.
Harry is smart.
@0: Erin is nice.[(triple1)] Erin is white.[(triple2)] Fiona is quiet.[(triple3)] Gary is white.[(triple4)] Harry is cold.[(triple5 OR ((triple7) -> rule4) OR ((triple8 triple7) -> rule5) OR ((((triple9) -> rule6)) -> rule4) OR ((triple8 ((triple9) -> rule6)) -> rule5) OR ((((((triple8) -> rule1)) -> rule6)) -> rule4) OR ((((((triple8) -> rule2)) -> rule6)) -> rule4) OR ((triple8 ((((triple8) -> rule1)) -> rule6)) -> rule5) OR ((triple8 ((((triple8) -> rule2)) -> rule6)) -> rule5))] Harry is green.[(triple6)] Harry is nice.[(triple7 OR ((triple9) -> rule6) OR ((((triple8) -> rule1)) -> rule6) OR ((((triple8) -> rule2)) -> rule6) OR ((((((triple5) -> rule7)) -> rule1)) -> rule6) OR ((((((triple5) -> rule7)) -> rule2)) -> rule6))] Harry is quiet.[(triple8 OR ((triple5) -> rule7) OR ((((triple7) -> rule4)) -> rule7) OR ((((((triple9) -> rule6)) -> rule4)) -> rule7))] Harry is round.[(triple9 OR ((triple8) -> rule1) OR ((triple8) -> rule2) OR ((((triple5) -> rule7)) -> rule1) OR ((((triple5) -> rule7)) -> rule2) OR ((((((triple7) -> rule4)) -> rule7)) -> rule1) OR ((((((triple7) -> rule4)) -> rule7)) -> rule2))] Harry is white.[(triple10)] @1: Erin is cold.[(((triple1) -> rule4))] Fiona is round.[(((triple3) -> rule1) OR ((triple3) -> rule2))] Harry is smart.[(((triple7 triple6) -> rule9) OR ((((triple9) -> rule6) triple6) -> rule9) OR ((((((triple8) -> rule1)) -> rule6) triple6) -> rule9) OR ((((((triple8) -> rule2)) -> rule6) triple6) -> rule9) OR ((((((((triple5) -> rule7)) -> rule1)) -> rule6) triple6) -> rule9) OR ((((((((triple5) -> rule7)) -> rule2)) -> rule6) triple6) -> rule9))] @2: Erin is quiet.[(((((triple1) -> rule4)) -> rule7))] Fiona is nice.[(((((triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule2)) -> rule6))] @3: Erin is round.[(((((((triple1) -> rule4)) -> rule7)) -> rule1) OR ((((((triple1) -> rule4)) -> rule7)) -> rule2))] Fiona is cold.[(((((((triple3) -> rule1)) -> rule6)) -> rule4) OR ((((((triple3) -> rule2)) -> rule6)) -> rule4) OR ((triple3 ((((triple3) -> rule1)) -> rule6)) -> rule5) OR ((triple3 ((((triple3) -> rule2)) -> rule6)) -> rule5))] @4: Erin is green.[(((((((((triple1) -> rule4)) -> rule7)) -> rule1)) -> rule3) OR ((((((((triple1) -> rule4)) -> rule7)) -> rule2)) -> rule3))] @5: Erin is smart.[(((triple1 ((((((((triple1) -> rule4)) -> rule7)) -> rule1)) -> rule3)) -> rule9) OR ((triple1 ((((((((triple1) -> rule4)) -> rule7)) -> rule2)) -> rule3)) -> rule9))]