Anne is big. Anne is cold. Anne is green. Anne is rough. Anne is young. Charlie is big. Charlie is quiet. Charlie is young. Dave is big. Dave is kind. Dave is quiet. Dave is rough. Gary is green. Gary is quiet. Gary is rough. Gary is young. If someone is cold and rough then they are big. All green people are rough. All cold people are rough. Cold, big people are young. Cold, young people are kind. If Charlie is cold and Charlie is green then Charlie is big. If someone is young then they are cold. Rough people are green.
Charlie is kind.
@0: Anne is big.[(triple1 OR ((triple2 triple4) -> rule1) OR ((triple2 ((triple2) -> rule3)) -> rule1) OR ((triple2 ((triple3) -> rule2)) -> rule1) OR ((((triple5) -> rule7) triple4) -> rule1) OR ((((triple5) -> rule7) ((triple2) -> rule3)) -> rule1) OR ((((triple5) -> rule7) ((triple3) -> rule2)) -> rule1) OR ((triple2 ((((triple5) -> rule7)) -> rule3)) -> rule1) OR ((((triple5) -> rule7) ((((triple5) -> rule7)) -> rule3)) -> rule1))] Anne is cold.[(triple2 OR ((triple5) -> rule7))] Anne is green.[(triple3 OR ((triple4) -> rule8) OR ((((triple2) -> rule3)) -> rule8) OR ((((((triple5) -> rule7)) -> rule3)) -> rule8))] Anne is rough.[(triple4 OR ((triple2) -> rule3) OR ((triple3) -> rule2) OR ((((triple5) -> rule7)) -> rule3))] Anne is young.[(triple5 OR ((triple2 triple1) -> rule4) OR ((triple2 ((triple2 triple4) -> rule1)) -> rule4) OR ((triple2 ((triple2 ((triple2) -> rule3)) -> rule1)) -> rule4) OR ((triple2 ((triple2 ((triple3) -> rule2)) -> rule1)) -> rule4))] Charlie is big.[(triple6 OR ((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule3)) -> rule1) OR ((((triple8) -> rule7) ((((((triple8) -> rule7)) -> rule3)) -> rule8)) -> rule6))] Charlie is quiet.[(triple7)] Charlie is young.[(triple8)] Dave is big.[(triple9)] Dave is kind.[(triple10)] Dave is quiet.[(triple11)] Dave is rough.[(triple12)] Gary is green.[(triple13 OR ((triple15) -> rule8) OR ((((((triple16) -> rule7)) -> rule3)) -> rule8))] Gary is quiet.[(triple14)] Gary is rough.[(triple15 OR ((triple13) -> rule2) OR ((((triple16) -> rule7)) -> rule3))] Gary is young.[(triple16)] @1: Anne is kind.[(((triple2 triple5) -> rule5) OR ((triple2 ((triple2 triple1) -> rule4)) -> rule5) OR ((((triple5) -> rule7) triple5) -> rule5) OR ((((triple5) -> rule7) ((triple2 triple1) -> rule4)) -> rule5) OR ((triple2 ((triple2 ((triple2 triple4) -> rule1)) -> rule4)) -> rule5) OR ((((triple5) -> rule7) ((triple2 ((triple2 triple4) -> rule1)) -> rule4)) -> rule5) OR ((triple2 ((triple2 ((triple2 ((triple2) -> rule3)) -> rule1)) -> rule4)) -> rule5) OR ((triple2 ((triple2 ((triple2 ((triple3) -> rule2)) -> rule1)) -> rule4)) -> rule5) OR ((((triple5) -> rule7) ((triple2 ((triple2 ((triple2) -> rule3)) -> rule1)) -> rule4)) -> rule5) OR ((((triple5) -> rule7) ((triple2 ((triple2 ((triple3) -> rule2)) -> rule1)) -> rule4)) -> rule5))] Charlie is cold.[(((triple8) -> rule7))] Dave is green.[(((triple12) -> rule8))] Gary is cold.[(((triple16) -> rule7))] @2: Charlie is kind.[(((((triple8) -> rule7) triple8) -> rule5))] Charlie is rough.[(((((triple8) -> rule7)) -> rule3))] Gary is big.[(((((triple16) -> rule7) triple15) -> rule1) OR ((((triple16) -> rule7) ((triple13) -> rule2)) -> rule1) OR ((((triple16) -> rule7) ((((triple16) -> rule7)) -> rule3)) -> rule1))] Gary is kind.[(((((triple16) -> rule7) triple16) -> rule5))] @3: Charlie is green.[(((((((triple8) -> rule7)) -> rule3)) -> rule8))]