Dave is big. Dave is blue. Dave is cold. Dave is kind. Dave is round. Dave is smart. Gary is big. Gary is blue. Gary is kind. Gary is quiet. Gary is round. Gary is smart. If someone is round and big then they are kind. If someone is round and blue then they are kind. If Gary is quiet then Gary is smart. All quiet people are cold. Smart people are round. If Dave is quiet then Dave is kind. If Dave is quiet then Dave is smart. If someone is kind and cold then they are round.
Dave is smart.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is cold.[(triple3)] Dave is kind.[(triple4 OR ((triple5 triple1) -> rule1) OR ((triple5 triple2) -> rule2) OR ((((triple6) -> rule5) triple1) -> rule1) OR ((((triple6) -> rule5) triple2) -> rule2))] Dave is round.[(triple5 OR ((triple6) -> rule5) OR ((triple4 triple3) -> rule8))] Dave is smart.[(triple6)] Gary is big.[(triple7)] Gary is blue.[(triple8)] Gary is kind.[(triple9 OR ((triple11 triple7) -> rule1) OR ((triple11 triple8) -> rule2) OR ((((triple12) -> rule5) triple7) -> rule1) OR ((((triple12) -> rule5) triple8) -> rule2) OR ((((((triple10) -> rule3)) -> rule5) triple7) -> rule1) OR ((((((triple10) -> rule3)) -> rule5) triple8) -> rule2))] Gary is quiet.[(triple10)] Gary is round.[(triple11 OR ((triple12) -> rule5) OR ((((triple10) -> rule3)) -> rule5) OR ((triple9 ((triple10) -> rule4)) -> rule8))] Gary is smart.[(triple12 OR ((triple10) -> rule3))] @1: Gary is cold.[(((triple10) -> rule4))]