Bob is blue. Bob is cold. Bob is nice. Charlie is green. Erin is big. Erin is green. Erin is quiet. Erin is young. Fiona is blue. Fiona is green. Fiona is nice. Fiona is young. If something is young then it is blue. If something is young and blue then it is cold. Cold things are nice.
Erin is not green.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3 OR ((triple2) -> rule3))] Charlie is green.[(triple4)] Erin is big.[(triple5)] Erin is green.[(triple6)] Erin is quiet.[(triple7)] Erin is young.[(triple8)] Fiona is blue.[(triple9 OR ((triple12) -> rule1))] Fiona is green.[(triple10)] Fiona is nice.[(triple11 OR ((((triple12 triple9) -> rule2)) -> rule3) OR ((((triple12 ((triple12) -> rule1)) -> rule2)) -> rule3))] Fiona is young.[(triple12)] @1: Erin is blue.[(((triple8) -> rule1))] Fiona is cold.[(((triple12 triple9) -> rule2) OR ((triple12 ((triple12) -> rule1)) -> rule2))] @2: Erin is cold.[(((triple8 ((triple8) -> rule1)) -> rule2))] @3: Erin is nice.[(((((triple8 ((triple8) -> rule1)) -> rule2)) -> rule3))]