Anne is big. Anne is nice. Anne is red. Anne is rough. Anne is round. Bob is nice. Bob is rough. Bob is round. Bob is young. Dave is red. Dave is not round. Erin is big. Erin is not nice. Erin is rough. Erin is smart. If someone is round and big then they are young. If someone is young then they are red. If Dave is round and Dave is young then Dave is not nice. If someone is big and not nice then they are rough. If someone is round and big then they are rough. If someone is rough and round then they are smart.
Dave is big.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3 OR ((((triple5 triple1) -> rule1)) -> rule2))] Anne is rough.[(triple4 OR ((triple5 triple1) -> rule5))] Anne is round.[(triple5)] Bob is nice.[(triple6)] Bob is rough.[(triple7)] Bob is round.[(triple8)] Bob is young.[(triple9)] Dave is not round.[(triple11)] Dave is red.[(triple10)] Erin is big.[(triple12)] Erin is not nice.[(triple13)] Erin is rough.[(triple14 OR ((triple12 triple13) -> rule4))] Erin is smart.[(triple15)] @1: Anne is smart.[(((triple4 triple5) -> rule6) OR ((((triple5 triple1) -> rule5) triple5) -> rule6))] Anne is young.[(((triple5 triple1) -> rule1))] Bob is red.[(((triple9) -> rule2))] Bob is smart.[(((triple7 triple8) -> rule6))]