Bob is big. Bob is furry. Bob is green. Bob is smart. Bob is young. Erin is cold. Erin is green. Erin is young. Fiona is smart. Gary is red. All young things are smart. All red, young things are furry.
Erin is not cold.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is smart.[(triple4 OR ((triple5) -> rule1))] Bob is young.[(triple5)] Erin is cold.[(triple6)] Erin is green.[(triple7)] Erin is young.[(triple8)] Fiona is smart.[(triple9)] Gary is red.[(triple10)] @1: Erin is smart.[(((triple8) -> rule1))]