Charlie is kind. Charlie is nice. Charlie is young. Dave is green. Dave is quiet. Dave is red. Dave is smart. Dave is young. Erin is nice. Erin is quiet. Erin is red. Erin is young. Gary is green. Gary is kind. Gary is quiet. Gary is young. If Dave is nice and Dave is young then Dave is kind. All quiet, nice things are smart. All kind things are smart. If something is nice then it is young. All young, nice things are kind. If something is quiet then it is green. If Dave is green then Dave is red. If something is green and kind then it is young.
Gary is nice.
@0: Charlie is kind.[(triple1 OR ((triple3 triple2) -> rule5) OR ((((triple2) -> rule4) triple2) -> rule5))] Charlie is nice.[(triple2)] Charlie is young.[(triple3 OR ((triple2) -> rule4))] Dave is green.[(triple4 OR ((triple5) -> rule6))] Dave is quiet.[(triple5)] Dave is red.[(triple6 OR ((triple4) -> rule7) OR ((((triple5) -> rule6)) -> rule7))] Dave is smart.[(triple7)] Dave is young.[(triple8)] Erin is nice.[(triple9)] Erin is quiet.[(triple10)] Erin is red.[(triple11)] Erin is young.[(triple12 OR ((triple9) -> rule4))] Gary is green.[(triple13 OR ((triple15) -> rule6))] Gary is kind.[(triple14)] Gary is quiet.[(triple15)] Gary is young.[(triple16 OR ((triple13 triple14) -> rule8) OR ((((triple15) -> rule6) triple14) -> rule8))] @1: Charlie is smart.[(((triple1) -> rule3) OR ((((triple3 triple2) -> rule5)) -> rule3) OR ((((((triple2) -> rule4) triple2) -> rule5)) -> rule3))] Erin is green.[(((triple10) -> rule6))] Erin is kind.[(((triple12 triple9) -> rule5) OR ((((triple9) -> rule4) triple9) -> rule5))] Erin is smart.[(((triple10 triple9) -> rule2) OR ((((triple12 triple9) -> rule5)) -> rule3) OR ((((((triple9) -> rule4) triple9) -> rule5)) -> rule3))] Gary is smart.[(((triple14) -> rule3))]