Dave is kind. Dave is quiet. Dave is round. Dave is white. Dave is young. Erin is big. Erin is kind. Erin is round. Erin is white. Erin is young. If Dave is big then Dave is quiet. If Erin is young then Erin is quiet. All quiet, cold things are kind. If Erin is round then Erin is white. If Dave is young and Dave is white then Dave is big. All white things are big. If Dave is big and Dave is white then Dave is quiet. If something is quiet then it is round.
Dave is cold.
@0: Dave is kind.[(triple1)] Dave is quiet.[(triple2 OR ((((triple4) -> rule6)) -> rule1) OR ((((triple5 triple4) -> rule5)) -> rule1) OR ((((triple4) -> rule6) triple4) -> rule7) OR ((((triple5 triple4) -> rule5) triple4) -> rule7))] Dave is round.[(triple3 OR ((triple2) -> rule8) OR ((((((triple4) -> rule6)) -> rule1)) -> rule8) OR ((((((triple5 triple4) -> rule5)) -> rule1)) -> rule8) OR ((((((triple4) -> rule6) triple4) -> rule7)) -> rule8) OR ((((((triple5 triple4) -> rule5) triple4) -> rule7)) -> rule8))] Dave is white.[(triple4)] Dave is young.[(triple5)] Erin is big.[(triple6 OR ((triple9) -> rule6) OR ((((triple8) -> rule4)) -> rule6) OR ((((((((triple10) -> rule2)) -> rule8)) -> rule4)) -> rule6))] Erin is kind.[(triple7)] Erin is round.[(triple8 OR ((((triple10) -> rule2)) -> rule8))] Erin is white.[(triple9 OR ((triple8) -> rule4) OR ((((((triple10) -> rule2)) -> rule8)) -> rule4))] Erin is young.[(triple10)] @1: Dave is big.[(((triple4) -> rule6) OR ((triple5 triple4) -> rule5))] Erin is quiet.[(((triple10) -> rule2))]