Dave is nice. Dave is round. Erin is round. Erin is smart. Fiona is nice. Harry is round. Harry is white. If someone is nice then they are blue. Big people are smart. If someone is white then they are big. All blue people are big. All nice people are white. If Erin is cold and Erin is round then Erin is white.
Harry is not round.
@0: Dave is nice.[(triple1)] Dave is round.[(triple2)] Erin is round.[(triple3)] Erin is smart.[(triple4)] Fiona is nice.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7)] @1: Dave is blue.[(((triple1) -> rule1))] Dave is white.[(((triple1) -> rule5))] Fiona is blue.[(((triple5) -> rule1))] Fiona is white.[(((triple5) -> rule5))] Harry is big.[(((triple7) -> rule3))] @2: Dave is big.[(((((triple1) -> rule1)) -> rule4) OR ((((triple1) -> rule5)) -> rule3))] Fiona is big.[(((((triple5) -> rule1)) -> rule4) OR ((((triple5) -> rule5)) -> rule3))] Harry is smart.[(((((triple7) -> rule3)) -> rule2))] @3: Dave is smart.[(((((((triple1) -> rule1)) -> rule4)) -> rule2) OR ((((((triple1) -> rule5)) -> rule3)) -> rule2))] Fiona is smart.[(((((((triple5) -> rule1)) -> rule4)) -> rule2) OR ((((((triple5) -> rule5)) -> rule3)) -> rule2))]