Bob is nice. Fiona is big. Fiona is cold. Fiona is green. Fiona is nice. Fiona is rough. Gary is big. Gary is not nice. Gary is rough. Gary is smart. If something is nice then it is smart. Smart, rough things are cold. If something is smart and not cold then it is young. If something is rough and not cold then it is big. If something is nice then it is green. If something is cold and not young then it is not green.
Bob is rough.
@0: Bob is nice.[(triple1)] Fiona is big.[(triple2)] Fiona is cold.[(triple3 OR ((((triple5) -> rule1) triple6) -> rule2))] Fiona is green.[(triple4 OR ((triple5) -> rule5))] Fiona is nice.[(triple5)] Fiona is rough.[(triple6)] Gary is big.[(triple7)] Gary is not nice.[(triple8)] Gary is rough.[(triple9)] Gary is smart.[(triple10)] @1: Bob is green.[(((triple1) -> rule5))] Bob is smart.[(((triple1) -> rule1))] Fiona is smart.[(((triple5) -> rule1))] Gary is cold.[(((triple10 triple9) -> rule2))]