Anne is big. Anne is furry. Anne is quiet. Anne is rough. Bob is green. Bob is rough. Dave is big. Dave is furry. Dave is green. Dave is kind. Dave is quiet. Dave is rough. Erin is big. Erin is kind. Erin is rough. Erin is not round. If something is round then it is rough. If something is round and quiet then it is rough. Big things are quiet. If Bob is furry and Bob is not big then Bob is round. Rough, round things are kind. All kind, quiet things are green. If Anne is quiet and Anne is not rough then Anne is not furry. If Erin is not kind then Erin is green.
Bob is big.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3 OR ((triple1) -> rule3))] Anne is rough.[(triple4)] Bob is green.[(triple5)] Bob is rough.[(triple6)] Dave is big.[(triple7)] Dave is furry.[(triple8)] Dave is green.[(triple9 OR ((triple10 triple11) -> rule6) OR ((triple10 ((triple7) -> rule3)) -> rule6))] Dave is kind.[(triple10)] Dave is quiet.[(triple11 OR ((triple7) -> rule3))] Dave is rough.[(triple12)] Erin is big.[(triple13)] Erin is kind.[(triple14)] Erin is not round.[(triple16)] Erin is rough.[(triple15)] @1: Erin is quiet.[(((triple13) -> rule3))] @2: Erin is green.[(((triple14 ((triple13) -> rule3)) -> rule6))]