Bob is big. Bob is not red. Bob is not white. Dave is blue. Dave is red. Dave is round. Erin is blue. Erin is quiet. Erin is red. Erin is white. Red people are blue. All round, blue people are quiet. Quiet people are kind. All quiet, round people are big. If someone is red and not blue then they are round. All kind people are round. If someone is red and not round then they are white. If someone is big and not round then they are white.
Erin is kind.
@0: Bob is big.[(triple1)] Bob is not red.[(triple2)] Bob is not white.[(triple3)] Dave is blue.[(triple4 OR ((triple5) -> rule1))] Dave is red.[(triple5)] Dave is round.[(triple6)] Erin is blue.[(triple7 OR ((triple9) -> rule1))] Erin is quiet.[(triple8)] Erin is red.[(triple9)] Erin is white.[(triple10)] @1: Dave is quiet.[(((triple6 triple4) -> rule2) OR ((triple6 ((triple5) -> rule1)) -> rule2))] Erin is kind.[(((triple8) -> rule3))] @2: Dave is big.[(((((triple6 triple4) -> rule2) triple6) -> rule4) OR ((((triple6 ((triple5) -> rule1)) -> rule2) triple6) -> rule4))] Dave is kind.[(((((triple6 triple4) -> rule2)) -> rule3) OR ((((triple6 ((triple5) -> rule1)) -> rule2)) -> rule3))] Erin is round.[(((((triple8) -> rule3)) -> rule6))] @3: Erin is big.[(((triple8 ((((triple8) -> rule3)) -> rule6)) -> rule4))]