Erin is cold. Erin is young. Fiona is blue. Fiona is cold. Fiona is green. Fiona is white. Fiona is young. Cold things are young. If something is blue then it is cold. All young, blue things are rough. If Erin is green and Erin is rough then Erin is white. All red, rough things are blue. If something is red and young then it is white. Rough things are red. All red things are white.
Erin is green.
@0: Erin is cold.[(triple1)] Erin is young.[(triple2 OR ((triple1) -> rule1))] Fiona is blue.[(triple3)] Fiona is cold.[(triple4 OR ((triple3) -> rule2))] Fiona is green.[(triple5)] Fiona is white.[(triple6 OR ((((((triple7 triple3) -> rule3)) -> rule7)) -> rule8) OR ((((((triple7 triple3) -> rule3)) -> rule7) triple7) -> rule6) OR ((((((triple7 triple3) -> rule3)) -> rule7) ((triple4) -> rule1)) -> rule6) OR ((((((triple7 triple3) -> rule3)) -> rule7) ((((triple3) -> rule2)) -> rule1)) -> rule6) OR ((((((((triple4) -> rule1) triple3) -> rule3)) -> rule7)) -> rule8) OR ((((((((triple4) -> rule1) triple3) -> rule3)) -> rule7) triple7) -> rule6) OR ((((((((triple4) -> rule1) triple3) -> rule3)) -> rule7) ((triple4) -> rule1)) -> rule6) OR ((((((((triple4) -> rule1) triple3) -> rule3)) -> rule7) ((((triple3) -> rule2)) -> rule1)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule1) triple3) -> rule3)) -> rule7)) -> rule8) OR ((((((((((triple3) -> rule2)) -> rule1) triple3) -> rule3)) -> rule7) triple7) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule1) triple3) -> rule3)) -> rule7) ((triple4) -> rule1)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule1) triple3) -> rule3)) -> rule7) ((((triple3) -> rule2)) -> rule1)) -> rule6))] Fiona is young.[(triple7 OR ((triple4) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] @1: Fiona is rough.[(((triple7 triple3) -> rule3) OR ((((triple4) -> rule1) triple3) -> rule3) OR ((((((triple3) -> rule2)) -> rule1) triple3) -> rule3))] @2: Fiona is red.[(((((triple7 triple3) -> rule3)) -> rule7) OR ((((((triple4) -> rule1) triple3) -> rule3)) -> rule7) OR ((((((((triple3) -> rule2)) -> rule1) triple3) -> rule3)) -> rule7))]