Bob is big. Bob is rough. Bob is round. Charlie is round. Fiona is big. Fiona is quiet. Fiona is rough. Fiona is smart. Gary is big. Gary is green. Gary is quiet. Gary is smart. Big people are green. If someone is kind then they are green. If someone is rough and green then they are kind. All kind, smart people are round. All kind people are green. If Bob is green and Bob is smart then Bob is quiet.
Gary is quiet.
@0: Bob is big.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3)] Charlie is round.[(triple4)] Fiona is big.[(triple5)] Fiona is quiet.[(triple6)] Fiona is rough.[(triple7)] Fiona is smart.[(triple8)] Gary is big.[(triple9)] Gary is green.[(triple10 OR ((triple9) -> rule1))] Gary is quiet.[(triple11)] Gary is smart.[(triple12)] @1: Bob is green.[(((triple1) -> rule1))] Fiona is green.[(((triple5) -> rule1))] @2: Bob is kind.[(((triple2 ((triple1) -> rule1)) -> rule3))] Fiona is kind.[(((triple7 ((triple5) -> rule1)) -> rule3))] @3: Fiona is round.[(((((triple7 ((triple5) -> rule1)) -> rule3) triple8) -> rule4))]