Bob is blue. Bob is cold. Bob is green. Bob is smart. Erin is big. Erin is green. Erin is nice. Fiona is nice. Gary is big. Gary is smart. Big things are round. Round things are green. If something is green then it is blue.
Erin is not cold.
@0: Bob is blue.[(triple1 OR ((triple3) -> rule3))] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is smart.[(triple4)] Erin is big.[(triple5)] Erin is green.[(triple6 OR ((((triple5) -> rule1)) -> rule2))] Erin is nice.[(triple7)] Fiona is nice.[(triple8)] Gary is big.[(triple9)] Gary is smart.[(triple10)] @1: Erin is blue.[(((triple6) -> rule3) OR ((((((triple5) -> rule1)) -> rule2)) -> rule3))] Erin is round.[(((triple5) -> rule1))] Gary is round.[(((triple9) -> rule1))] @2: Gary is green.[(((((triple9) -> rule1)) -> rule2))] @3: Gary is blue.[(((((((triple9) -> rule1)) -> rule2)) -> rule3))]