Anne is rough. Bob is cold. Erin is kind. Fiona is smart. All white people are nice. If someone is cold then they are nice. If someone is quiet then they are smart. If someone is smart then they are nice. All cold people are white. All rough people are cold. If Bob is white and Bob is nice then Bob is rough. All white people are kind.
Erin is smart.
@0: Anne is rough.[(triple1)] Bob is cold.[(triple2)] Erin is kind.[(triple3)] Fiona is smart.[(triple4)] @1: Anne is cold.[(((triple1) -> rule6))] Bob is nice.[(((triple2) -> rule2) OR ((((triple2) -> rule5)) -> rule1))] Bob is white.[(((triple2) -> rule5))] Fiona is nice.[(((triple4) -> rule4))] @2: Anne is nice.[(((((triple1) -> rule6)) -> rule2) OR ((((((triple1) -> rule6)) -> rule5)) -> rule1))] Anne is white.[(((((triple1) -> rule6)) -> rule5))] Bob is kind.[(((((triple2) -> rule5)) -> rule8))] Bob is rough.[(((((triple2) -> rule5) ((triple2) -> rule2)) -> rule7) OR ((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule1)) -> rule7))] @3: Anne is kind.[(((((((triple1) -> rule6)) -> rule5)) -> rule8))]