Bob is blue. Bob is young. Dave is blue. Dave is kind. Dave is nice. Dave is rough. Dave is young. Fiona is blue. Fiona is green. Fiona is nice. Fiona is young. Harry is blue. Harry is kind. Harry is nice. Harry is rough. Harry is young. Kind, green things are nice. If something is green and rough then it is young. All young things are green. All green things are nice. All big things are blue. If Harry is big and Harry is young then Harry is kind.
Dave is not big.
@0: Bob is blue.[(triple1)] Bob is young.[(triple2)] Dave is blue.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5 OR ((((triple7) -> rule3)) -> rule4) OR ((triple4 ((triple7) -> rule3)) -> rule1))] Dave is rough.[(triple6)] Dave is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is green.[(triple9 OR ((triple11) -> rule3))] Fiona is nice.[(triple10 OR ((triple9) -> rule4) OR ((((triple11) -> rule3)) -> rule4))] Fiona is young.[(triple11)] Harry is blue.[(triple12)] Harry is kind.[(triple13)] Harry is nice.[(triple14 OR ((((triple16) -> rule3)) -> rule4) OR ((triple13 ((triple16) -> rule3)) -> rule1))] Harry is rough.[(triple15)] Harry is young.[(triple16)] @1: Bob is green.[(((triple2) -> rule3))] Dave is green.[(((triple7) -> rule3))] Harry is green.[(((triple16) -> rule3))] @2: Bob is nice.[(((((triple2) -> rule3)) -> rule4))]