Anne is furry. Anne is green. Anne is red. Anne is round. Bob is big. Bob is green. Bob is nice. Bob is red. Bob is round. Erin is green. Erin is nice. Erin is red. If someone is rough and red then they are round. All big, nice people are rough.
Bob is rough.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Bob is big.[(triple5)] Bob is green.[(triple6)] Bob is nice.[(triple7)] Bob is red.[(triple8)] Bob is round.[(triple9 OR ((((triple5 triple7) -> rule2) triple8) -> rule1))] Erin is green.[(triple10)] Erin is nice.[(triple11)] Erin is red.[(triple12)] @1: Bob is rough.[(((triple5 triple7) -> rule2))]