Dave is big. Dave is blue. Dave is young. Gary is big. Gary is green. Gary is kind. Gary is red. Gary is young. Harry is big. Harry is blue. Harry is green. Harry is kind. Harry is red. Harry is round. Harry is young. Red, kind things are young. If something is big and kind then it is blue. Young, red things are kind. All kind, big things are green. If something is green then it is kind. All kind things are blue.
Gary is not green.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is young.[(triple3)] Gary is big.[(triple4)] Gary is green.[(triple5 OR ((triple6 triple4) -> rule4) OR ((((triple8 triple7) -> rule3) triple4) -> rule4))] Gary is kind.[(triple6 OR ((triple5) -> rule5) OR ((triple8 triple7) -> rule3))] Gary is red.[(triple7)] Gary is young.[(triple8 OR ((triple7 triple6) -> rule1) OR ((triple7 ((triple5) -> rule5)) -> rule1))] Harry is big.[(triple9)] Harry is blue.[(triple10 OR ((triple12) -> rule6) OR ((triple9 triple12) -> rule2) OR ((((triple11) -> rule5)) -> rule6) OR ((((triple15 triple13) -> rule3)) -> rule6) OR ((triple9 ((triple11) -> rule5)) -> rule2) OR ((triple9 ((triple15 triple13) -> rule3)) -> rule2))] Harry is green.[(triple11 OR ((triple12 triple9) -> rule4) OR ((((triple15 triple13) -> rule3) triple9) -> rule4))] Harry is kind.[(triple12 OR ((triple11) -> rule5) OR ((triple15 triple13) -> rule3))] Harry is red.[(triple13)] Harry is round.[(triple14)] Harry is young.[(triple15 OR ((triple13 triple12) -> rule1) OR ((triple13 ((triple11) -> rule5)) -> rule1))] @1: Gary is blue.[(((triple6) -> rule6) OR ((triple4 triple6) -> rule2) OR ((((triple5) -> rule5)) -> rule6) OR ((((triple8 triple7) -> rule3)) -> rule6) OR ((triple4 ((triple5) -> rule5)) -> rule2) OR ((triple4 ((triple8 triple7) -> rule3)) -> rule2))]