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