Dave is big. Dave is cold. Dave is kind. Dave is quiet. Dave is rough. Dave is round. Dave is smart. Gary is cold. Gary is quiet. Gary is rough. Cold things are smart. All rough, big things are kind. Quiet things are rough. All rough, smart things are big. If something is cold and round then it is kind. If Dave is big then Dave is kind.
Gary is not quiet.
@0: Dave is big.[(triple1 OR ((triple5 triple7) -> rule4) OR ((triple5 ((triple2) -> rule1)) -> rule4) OR ((((triple4) -> rule3) triple7) -> rule4) OR ((((triple4) -> rule3) ((triple2) -> rule1)) -> rule4))] Dave is cold.[(triple2)] Dave is kind.[(triple3 OR ((triple1) -> rule6) OR ((triple2 triple6) -> rule5) OR ((triple5 triple1) -> rule2) OR ((((triple5 triple7) -> rule4)) -> rule6) OR ((triple5 ((triple5 triple7) -> rule4)) -> rule2) OR ((((triple4) -> rule3) triple1) -> rule2) OR ((((triple4) -> rule3) ((triple5 triple7) -> rule4)) -> rule2) OR ((((triple5 ((triple2) -> rule1)) -> rule4)) -> rule6) OR ((((((triple4) -> rule3) triple7) -> rule4)) -> rule6) OR ((triple5 ((triple5 ((triple2) -> rule1)) -> rule4)) -> rule2) OR ((triple5 ((((triple4) -> rule3) triple7) -> rule4)) -> rule2) OR ((((((triple4) -> rule3) ((triple2) -> rule1)) -> rule4)) -> rule6) OR ((triple5 ((((triple4) -> rule3) ((triple2) -> rule1)) -> rule4)) -> rule2) OR ((((triple4) -> rule3) ((triple5 ((triple2) -> rule1)) -> rule4)) -> rule2) OR ((((triple4) -> rule3) ((((triple4) -> rule3) triple7) -> rule4)) -> rule2) OR ((((triple4) -> rule3) ((((triple4) -> rule3) ((triple2) -> rule1)) -> rule4)) -> rule2))] Dave is quiet.[(triple4)] Dave is rough.[(triple5 OR ((triple4) -> rule3))] Dave is round.[(triple6)] Dave is smart.[(triple7 OR ((triple2) -> rule1))] Gary is cold.[(triple8)] Gary is quiet.[(triple9)] Gary is rough.[(triple10 OR ((triple9) -> rule3))] @1: Gary is smart.[(((triple8) -> rule1))] @2: Gary is big.[(((triple10 ((triple8) -> rule1)) -> rule4) OR ((((triple9) -> rule3) ((triple8) -> rule1)) -> rule4))] @3: Gary is kind.[(((triple10 ((triple10 ((triple8) -> rule1)) -> rule4)) -> rule2) OR ((triple10 ((((triple9) -> rule3) ((triple8) -> rule1)) -> rule4)) -> rule2) OR ((((triple9) -> rule3) ((triple10 ((triple8) -> rule1)) -> rule4)) -> rule2) OR ((((triple9) -> rule3) ((((triple9) -> rule3) ((triple8) -> rule1)) -> rule4)) -> rule2))]