Anne is big. Bob is red. Bob is smart. Fiona is big. Fiona is green. Fiona is red. Fiona is young. Cold people are rough. Young people are big. All red, cold people are rough. If someone is smart then they are green. All smart, cold people are rough. If someone is red and green then they are big. All red, cold people are rough. If someone is red and rough then they are young.
Fiona is cold.
@0: Anne is big.[(triple1)] Bob is red.[(triple2)] Bob is smart.[(triple3)] Fiona is big.[(triple4 OR ((triple7) -> rule2) OR ((triple6 triple5) -> rule6))] Fiona is green.[(triple5)] Fiona is red.[(triple6)] Fiona is young.[(triple7)] @1: Bob is green.[(((triple3) -> rule4))] @2: Bob is big.[(((triple2 ((triple3) -> rule4)) -> rule6))]