Anne is big. Anne is blue. Anne is rough. Bob is blue. Erin is big. Erin is blue. Erin is furry. Erin is kind. Erin is rough. Erin is smart. Gary is big. Gary is kind. If someone is blue then they are rough. If someone is rough then they are blue. Blue people are nice. If someone is big and blue then they are furry. If someone is smart and blue then they are furry. All big people are blue.
Anne is not blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple1) -> rule6) OR ((triple3) -> rule2))] Anne is rough.[(triple3 OR ((triple2) -> rule1) OR ((((triple1) -> rule6)) -> rule1))] Bob is blue.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6 OR ((triple5) -> rule6) OR ((triple9) -> rule2))] Erin is furry.[(triple7 OR ((triple10 triple6) -> rule5) OR ((triple5 triple6) -> rule4) OR ((triple10 ((triple5) -> rule6)) -> rule5) OR ((triple10 ((triple9) -> rule2)) -> rule5) OR ((triple5 ((triple5) -> rule6)) -> rule4) OR ((triple5 ((triple9) -> rule2)) -> rule4))] Erin is kind.[(triple8)] Erin is rough.[(triple9 OR ((triple6) -> rule1) OR ((((triple5) -> rule6)) -> rule1))] Erin is smart.[(triple10)] Gary is big.[(triple11)] Gary is kind.[(triple12)] @1: Anne is furry.[(((triple1 triple2) -> rule4) OR ((triple1 ((triple1) -> rule6)) -> rule4) OR ((triple1 ((triple3) -> rule2)) -> rule4))] Anne is nice.[(((triple2) -> rule3) OR ((((triple1) -> rule6)) -> rule3) OR ((((triple3) -> rule2)) -> rule3))] Bob is nice.[(((triple4) -> rule3))] Bob is rough.[(((triple4) -> rule1))] Erin is nice.[(((triple6) -> rule3) OR ((((triple5) -> rule6)) -> rule3) OR ((((triple9) -> rule2)) -> rule3))] Gary is blue.[(((triple11) -> rule6))] @2: Gary is furry.[(((triple11 ((triple11) -> rule6)) -> rule4))] Gary is nice.[(((((triple11) -> rule6)) -> rule3))] Gary is rough.[(((((triple11) -> rule6)) -> rule1))]