Anne is big. Anne is young. Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is quiet. Bob is rough. Bob is young. Fiona is big. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is young. All blue, kind people are big. Rough people are big. If Anne is big and Anne is rough then Anne is young.
Bob is big.
@0: Anne is big.[(triple1)] Anne is young.[(triple2)] Bob is big.[(triple3 OR ((triple8) -> rule2) OR ((triple4 triple6) -> rule1))] Bob is blue.[(triple4)] Bob is cold.[(triple5)] Bob is kind.[(triple6)] Bob is quiet.[(triple7)] Bob is rough.[(triple8)] Bob is young.[(triple9)] Fiona is big.[(triple10 OR ((triple15) -> rule2) OR ((triple11 triple13) -> rule1))] Fiona is blue.[(triple11)] Fiona is cold.[(triple12)] Fiona is kind.[(triple13)] Fiona is quiet.[(triple14)] Fiona is rough.[(triple15)] Fiona is young.[(triple16)]