Bob is blue. Bob is not green. Bob is smart. Charlie is green. Charlie is rough. Erin is blue. Erin is green. Erin is nice. Erin is rough. Erin is smart. Furry people are rough. Rough people are furry. All blue, smart people are furry. If someone is rough and not nice then they are green. If someone is green and not smart then they are young. Rough people are young. If Bob is rough and Bob is green then Bob is not blue. If Erin is nice then Erin is young.
Charlie is not smart.
@0: Bob is blue.[(triple1)] Bob is not green.[(triple2)] Bob is smart.[(triple3)] Charlie is green.[(triple4)] Charlie is rough.[(triple5)] Erin is blue.[(triple6)] Erin is green.[(triple7)] Erin is nice.[(triple8)] Erin is rough.[(triple9 OR ((((triple6 triple10) -> rule3)) -> rule1))] Erin is smart.[(triple10)] @1: Bob is furry.[(((triple1 triple3) -> rule3))] Charlie is furry.[(((triple5) -> rule2))] Charlie is young.[(((triple5) -> rule6))] Erin is furry.[(((triple9) -> rule2) OR ((triple6 triple10) -> rule3))] Erin is young.[(((triple8) -> rule8) OR ((triple9) -> rule6) OR ((((((triple6 triple10) -> rule3)) -> rule1)) -> rule6))] @2: Bob is rough.[(((((triple1 triple3) -> rule3)) -> rule1))] @3: Bob is young.[(((((((triple1 triple3) -> rule3)) -> rule1)) -> rule6))]