Bob is round. Fiona is blue. Fiona is green. Fiona is kind. Fiona is rough. Fiona is smart. Fiona is young. Gary is blue. Gary is smart. Harry is blue. Harry is green. Harry is kind. Harry is rough. Harry is round. Harry is smart. Harry is young. All smart, kind people are green. Round people are blue. If someone is kind then they are young. If Bob is blue then Bob is rough. If Fiona is round and Fiona is kind then Fiona is rough. All green, young people are kind.
Gary is rough.
@0: Bob is round.[(triple1)] Fiona is blue.[(triple2)] Fiona is green.[(triple3 OR ((triple6 triple4) -> rule1))] Fiona is kind.[(triple4 OR ((triple3 triple7) -> rule6))] Fiona is rough.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7 OR ((triple4) -> rule3))] Gary is blue.[(triple8)] Gary is smart.[(triple9)] Harry is blue.[(triple10 OR ((triple14) -> rule2))] Harry is green.[(triple11 OR ((triple15 triple12) -> rule1))] Harry is kind.[(triple12 OR ((triple11 triple16) -> rule6))] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)] Harry is young.[(triple16 OR ((triple12) -> rule3))] @1: Bob is blue.[(((triple1) -> rule2))] @2: Bob is rough.[(((((triple1) -> rule2)) -> rule4))]