Anne is big. Anne is blue. Anne is green. Anne is kind. Anne is round. Anne is smart. Dave is big. Dave is blue. Dave is green. Dave is kind. Dave is red. Dave is smart. Erin is blue. Erin is green. Erin is red. Erin is round. All big, green things are red. All round things are blue. All kind, red things are big. If Erin is green then Erin is kind. All smart, blue things are kind. Big things are smart.
Dave is not kind.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple5) -> rule2))] Anne is green.[(triple3)] Anne is kind.[(triple4 OR ((triple6 triple2) -> rule5) OR ((triple6 ((triple5) -> rule2)) -> rule5) OR ((((triple1) -> rule6) triple2) -> rule5) OR ((((triple1) -> rule6) ((triple5) -> rule2)) -> rule5))] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple1) -> rule6))] Dave is big.[(triple7 OR ((triple10 triple11) -> rule3) OR ((((triple12 triple8) -> rule5) triple11) -> rule3))] Dave is blue.[(triple8)] Dave is green.[(triple9)] Dave is kind.[(triple10 OR ((triple12 triple8) -> rule5) OR ((((triple7) -> rule6) triple8) -> rule5))] Dave is red.[(triple11 OR ((triple7 triple9) -> rule1))] Dave is smart.[(triple12 OR ((triple7) -> rule6) OR ((((triple10 triple11) -> rule3)) -> rule6))] Erin is blue.[(triple13 OR ((triple16) -> rule2))] Erin is green.[(triple14)] Erin is red.[(triple15)] Erin is round.[(triple16)] @1: Anne is red.[(((triple1 triple3) -> rule1))] Erin is kind.[(((triple14) -> rule4))] @2: Erin is big.[(((((triple14) -> rule4) triple15) -> rule3))] @3: Erin is smart.[(((((((triple14) -> rule4) triple15) -> rule3)) -> rule6))]