Dave is big. Dave is furry. Dave is green. Dave is nice. Dave is red. Dave is smart. Erin is big. Erin is blue. Erin is not furry. Erin is green. Erin is red. Erin is smart. Blue people are not nice. If someone is red and green then they are smart. Red, nice people are furry. If Erin is red and Erin is not smart then Erin is not furry. If someone is furry then they are big. If someone is furry and red then they are big. If someone is blue and not smart then they are big. If Erin is furry then Erin is not nice.
Dave is not nice.
@0: Dave is big.[(triple1 OR ((triple2) -> rule5) OR ((triple2 triple5) -> rule6) OR ((((triple5 triple4) -> rule3)) -> rule5) OR ((((triple5 triple4) -> rule3) triple5) -> rule6))] Dave is furry.[(triple2 OR ((triple5 triple4) -> rule3))] Dave is green.[(triple3)] Dave is nice.[(triple4)] Dave is red.[(triple5)] Dave is smart.[(triple6 OR ((triple5 triple3) -> rule2))] Erin is big.[(triple7)] Erin is blue.[(triple8)] Erin is green.[(triple10)] Erin is not furry.[(triple9)] Erin is red.[(triple11)] Erin is smart.[(triple12 OR ((triple11 triple10) -> rule2))] @1: Erin is not nice.[(((triple8) -> rule1))]