Bob is red. Erin is smart. Fiona is kind. Gary is smart. All young people are round. If someone is smart then they are red. If someone is young and rough then they are cold. Red people are young. All smart, red people are young. Rough people are kind. If Gary is rough and Gary is young then Gary is smart. All young people are cold.
Erin is smart.
@0: Bob is red.[(triple1)] Erin is smart.[(triple2)] Fiona is kind.[(triple3)] Gary is smart.[(triple4)] @1: Bob is young.[(((triple1) -> rule4))] Erin is red.[(((triple2) -> rule2))] Gary is red.[(((triple4) -> rule2))] @2: Bob is cold.[(((((triple1) -> rule4)) -> rule8))] Bob is round.[(((((triple1) -> rule4)) -> rule1))] Erin is young.[(((((triple2) -> rule2)) -> rule4) OR ((triple2 ((triple2) -> rule2)) -> rule5))] Gary is young.[(((((triple4) -> rule2)) -> rule4) OR ((triple4 ((triple4) -> rule2)) -> rule5))] @3: Erin is cold.[(((((((triple2) -> rule2)) -> rule4)) -> rule8) OR ((((triple2 ((triple2) -> rule2)) -> rule5)) -> rule8))] Erin is round.[(((((((triple2) -> rule2)) -> rule4)) -> rule1) OR ((((triple2 ((triple2) -> rule2)) -> rule5)) -> rule1))] Gary is cold.[(((((((triple4) -> rule2)) -> rule4)) -> rule8) OR ((((triple4 ((triple4) -> rule2)) -> rule5)) -> rule8))] Gary is round.[(((((((triple4) -> rule2)) -> rule4)) -> rule1) OR ((((triple4 ((triple4) -> rule2)) -> rule5)) -> rule1))]