Bob is big. Bob is cold. Bob is smart. Bob is white. Bob is young. Erin is big. Erin is cold. Erin is not green. Erin is smart. Erin is white. Smart people are cold. All young people are cold. If someone is cold and not smart then they are white. Green, smart people are not big. If someone is smart then they are big. Smart, green people are big. If someone is young and not cold then they are not round. If someone is green then they are round.
Erin is not round.
@0: Bob is big.[(triple1 OR ((triple3) -> rule5))] Bob is cold.[(triple2 OR ((triple3) -> rule1) OR ((triple5) -> rule2))] Bob is smart.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5)] Erin is big.[(triple6 OR ((triple9) -> rule5))] Erin is cold.[(triple7 OR ((triple9) -> rule1))] Erin is not green.[(triple8)] Erin is smart.[(triple9)] Erin is white.[(triple10)]