Gary is blue. Gary is cold. Gary is kind. Gary is not nice. Gary is not quiet. Gary is not red. Gary is not young. Harry is blue. Harry is cold. Harry is kind. Harry is nice. Harry is quiet. Harry is red. Harry is young. If something is quiet and nice then it is kind. Red things are kind. If Gary is nice and Gary is blue then Gary is not red. If Gary is blue and Gary is quiet then Gary is kind. If something is kind and red then it is young. If Harry is young then Harry is quiet. If something is quiet then it is red. If something is nice then it is cold.
Harry is red.
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is kind.[(triple3)] Gary is not nice.[(triple4)] Gary is not quiet.[(triple5)] Gary is not red.[(triple6)] Gary is not young.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9 OR ((triple11) -> rule8))] Harry is kind.[(triple10 OR ((triple13) -> rule2) OR ((triple12 triple11) -> rule1) OR ((((triple12) -> rule7)) -> rule2) OR ((((triple14) -> rule6) triple11) -> rule1) OR ((((((triple14) -> rule6)) -> rule7)) -> rule2))] Harry is nice.[(triple11)] Harry is quiet.[(triple12 OR ((triple14) -> rule6) OR ((((triple10 triple13) -> rule5)) -> rule6) OR ((((((triple13) -> rule2) triple13) -> rule5)) -> rule6))] Harry is red.[(triple13 OR ((triple12) -> rule7) OR ((((triple14) -> rule6)) -> rule7))] Harry is young.[(triple14 OR ((triple10 triple13) -> rule5) OR ((triple10 ((triple12) -> rule7)) -> rule5) OR ((((triple13) -> rule2) triple13) -> rule5) OR ((((triple12 triple11) -> rule1) triple13) -> rule5) OR ((((triple13) -> rule2) ((triple12) -> rule7)) -> rule5) OR ((((triple12 triple11) -> rule1) ((triple12) -> rule7)) -> rule5) OR ((((((triple12) -> rule7)) -> rule2) triple13) -> rule5) OR ((((((triple12) -> rule7)) -> rule2) ((triple12) -> rule7)) -> rule5))]