Bob is not blue. Bob is quiet. Dave is big. Dave is furry. Dave is green. Dave is nice. Erin is quiet. Gary is big. Gary is furry. Gary is nice. If something is quiet and young then it is big. Green things are not blue. If something is quiet then it is green. All young things are green. Big, furry things are young. If Bob is not green then Bob is nice.
Erin is big.
@0: Bob is not blue.[(triple1 OR ((((triple2) -> rule3)) -> rule2))] Bob is quiet.[(triple2)] Dave is big.[(triple3)] Dave is furry.[(triple4)] Dave is green.[(triple5 OR ((((triple3 triple4) -> rule5)) -> rule4))] Dave is nice.[(triple6)] Erin is quiet.[(triple7)] Gary is big.[(triple8)] Gary is furry.[(triple9)] Gary is nice.[(triple10)] @1: Bob is green.[(((triple2) -> rule3))] Dave is not blue.[(((triple5) -> rule2) OR ((((((triple3 triple4) -> rule5)) -> rule4)) -> rule2))] Dave is young.[(((triple3 triple4) -> rule5))] Erin is green.[(((triple7) -> rule3))] Gary is young.[(((triple8 triple9) -> rule5))] @2: Erin is not blue.[(((((triple7) -> rule3)) -> rule2))] Gary is green.[(((((triple8 triple9) -> rule5)) -> rule4))] @3: Gary is not blue.[(((((((triple8 triple9) -> rule5)) -> rule4)) -> rule2))]