Erin is nice. Fiona is nice. Fiona is red. Fiona is white. Gary is kind. Gary is rough. Gary is white. Red things are rough. If Gary is kind and Gary is smart then Gary is rough. If Gary is smart and Gary is cold then Gary is rough. If something is smart and cold then it is kind. If Fiona is red then Fiona is cold. If something is cold and red then it is rough. All white things are red. If something is rough and nice then it is smart.
Gary is not nice.
@0: Erin is nice.[(triple1)] Fiona is nice.[(triple2)] Fiona is red.[(triple3 OR ((triple4) -> rule7))] Fiona is white.[(triple4)] Gary is kind.[(triple5)] Gary is rough.[(triple6 OR ((((triple7) -> rule7)) -> rule1))] Gary is white.[(triple7)] @1: Fiona is cold.[(((triple3) -> rule5) OR ((((triple4) -> rule7)) -> rule5))] Fiona is rough.[(((triple3) -> rule1) OR ((((triple4) -> rule7)) -> rule1) OR ((((triple3) -> rule5) triple3) -> rule6) OR ((((triple3) -> rule5) ((triple4) -> rule7)) -> rule6) OR ((((((triple4) -> rule7)) -> rule5) triple3) -> rule6) OR ((((((triple4) -> rule7)) -> rule5) ((triple4) -> rule7)) -> rule6))] Gary is red.[(((triple7) -> rule7))] @2: Fiona is smart.[(((((triple3) -> rule1) triple2) -> rule8) OR ((((((triple4) -> rule7)) -> rule1) triple2) -> rule8) OR ((((((triple3) -> rule5) triple3) -> rule6) triple2) -> rule8) OR ((((((triple3) -> rule5) ((triple4) -> rule7)) -> rule6) triple2) -> rule8) OR ((((((((triple4) -> rule7)) -> rule5) triple3) -> rule6) triple2) -> rule8) OR ((((((((triple4) -> rule7)) -> rule5) ((triple4) -> rule7)) -> rule6) triple2) -> rule8))] @3: Fiona is kind.[(((((((triple3) -> rule1) triple2) -> rule8) ((triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule1) triple2) -> rule8) ((((triple4) -> rule7)) -> rule5)) -> rule4) OR ((((((((triple4) -> rule7)) -> rule1) triple2) -> rule8) ((triple3) -> rule5)) -> rule4) OR ((((((((triple3) -> rule5) triple3) -> rule6) triple2) -> rule8) ((triple3) -> rule5)) -> rule4) OR ((((((((triple4) -> rule7)) -> rule1) triple2) -> rule8) ((((triple4) -> rule7)) -> rule5)) -> rule4) OR ((((((((triple3) -> rule5) triple3) -> rule6) triple2) -> rule8) ((((triple4) -> rule7)) -> rule5)) -> rule4) OR ((((((((triple3) -> rule5) ((triple4) -> rule7)) -> rule6) triple2) -> rule8) ((triple3) -> rule5)) -> rule4) OR ((((((((triple3) -> rule5) ((triple4) -> rule7)) -> rule6) triple2) -> rule8) ((((triple4) -> rule7)) -> rule5)) -> rule4) OR ((((((((((triple4) -> rule7)) -> rule5) triple3) -> rule6) triple2) -> rule8) ((triple3) -> rule5)) -> rule4) OR ((((((((((triple4) -> rule7)) -> rule5) triple3) -> rule6) triple2) -> rule8) ((((triple4) -> rule7)) -> rule5)) -> rule4) OR ((((((((((triple4) -> rule7)) -> rule5) ((triple4) -> rule7)) -> rule6) triple2) -> rule8) ((triple3) -> rule5)) -> rule4) OR ((((((((((triple4) -> rule7)) -> rule5) ((triple4) -> rule7)) -> rule6) triple2) -> rule8) ((((triple4) -> rule7)) -> rule5)) -> rule4))]