Bob is big. Bob is cold. Bob is kind. Bob is red. Bob is rough. Fiona is green. Fiona is red. Fiona is rough. Harry is kind. Harry is not rough. If someone is cold and not green then they are big. All kind, cold people are big. If Fiona is kind then Fiona is rough.
Fiona is not green.
@0: Bob is big.[(triple1 OR ((triple3 triple2) -> rule2))] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Fiona is green.[(triple6)] Fiona is red.[(triple7)] Fiona is rough.[(triple8)] Harry is kind.[(triple9)] Harry is not rough.[(triple10)]