Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is round. Bob is young. Erin is blue. Erin is cold. Erin is green. Erin is quiet. Erin is young. All furry, round people are quiet. Quiet people are blue. Young, cold people are quiet. Young people are furry. If Bob is blue and Bob is green then Bob is quiet. All furry people are young.
Bob is round.
@0: Bob is blue.[(triple1 OR ((triple5) -> rule2) OR ((((triple3 triple6) -> rule1)) -> rule2) OR ((((triple7 triple2) -> rule3)) -> rule2) OR ((((((triple3) -> rule6) triple2) -> rule3)) -> rule2) OR ((((((triple7) -> rule4) triple6) -> rule1)) -> rule2))] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple7) -> rule4))] Bob is green.[(triple4)] Bob is quiet.[(triple5 OR ((triple1 triple4) -> rule5) OR ((triple3 triple6) -> rule1) OR ((triple7 triple2) -> rule3) OR ((((triple3) -> rule6) triple2) -> rule3) OR ((((triple7) -> rule4) triple6) -> rule1))] Bob is round.[(triple6)] Bob is young.[(triple7 OR ((triple3) -> rule6))] Erin is blue.[(triple8 OR ((triple11) -> rule2) OR ((((triple12 triple9) -> rule3)) -> rule2))] Erin is cold.[(triple9)] Erin is green.[(triple10)] Erin is quiet.[(triple11 OR ((triple12 triple9) -> rule3))] Erin is young.[(triple12)] @1: Erin is furry.[(((triple12) -> rule4))]