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