Bob is furry. Bob is nice. Bob is smart. Charlie is green. Charlie is white. Erin is nice. Erin is rough. Gary is green. Gary is nice. Gary is red. Gary is smart. Gary is white. If someone is rough then they are red. All green, red people are furry. Green, white people are red. If someone is red then they are nice. If someone is furry then they are smart. Green, nice people are rough. If someone is furry and smart then they are green. All rough, smart people are furry.
Gary is not rough.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Bob is smart.[(triple3 OR ((triple1) -> rule5))] Charlie is green.[(triple4)] Charlie is white.[(triple5)] Erin is nice.[(triple6 OR ((((triple7) -> rule1)) -> rule4))] Erin is rough.[(triple7)] Gary is green.[(triple8)] Gary is nice.[(triple9 OR ((triple10) -> rule4) OR ((((triple8 triple12) -> rule3)) -> rule4))] Gary is red.[(triple10 OR ((triple8 triple12) -> rule3) OR ((((triple8 triple9) -> rule6)) -> rule1))] Gary is smart.[(triple11 OR ((((triple8 triple10) -> rule2)) -> rule5) OR ((((triple8 ((triple8 triple12) -> rule3)) -> rule2)) -> rule5) OR ((((triple8 ((((triple8 triple9) -> rule6)) -> rule1)) -> rule2)) -> rule5))] Gary is white.[(triple12)] @1: Bob is green.[(((triple1 triple3) -> rule7) OR ((triple1 ((triple1) -> rule5)) -> rule7))] Charlie is red.[(((triple4 triple5) -> rule3))] Erin is red.[(((triple7) -> rule1))] Gary is furry.[(((triple8 triple10) -> rule2) OR ((triple8 ((triple8 triple12) -> rule3)) -> rule2) OR ((((triple8 triple9) -> rule6) triple11) -> rule8) OR ((triple8 ((((triple8 triple9) -> rule6)) -> rule1)) -> rule2) OR ((((triple8 ((triple10) -> rule4)) -> rule6) triple11) -> rule8) OR ((((triple8 ((((triple8 triple12) -> rule3)) -> rule4)) -> rule6) triple11) -> rule8))] Gary is rough.[(((triple8 triple9) -> rule6) OR ((triple8 ((triple10) -> rule4)) -> rule6) OR ((triple8 ((((triple8 triple12) -> rule3)) -> rule4)) -> rule6))] @2: Bob is rough.[(((((triple1 triple3) -> rule7) triple2) -> rule6) OR ((((triple1 ((triple1) -> rule5)) -> rule7) triple2) -> rule6))] Charlie is furry.[(((triple4 ((triple4 triple5) -> rule3)) -> rule2))] Charlie is nice.[(((((triple4 triple5) -> rule3)) -> rule4))] @3: Bob is red.[(((((((triple1 triple3) -> rule7) triple2) -> rule6)) -> rule1) OR ((((((triple1 ((triple1) -> rule5)) -> rule7) triple2) -> rule6)) -> rule1))] Charlie is rough.[(((triple4 ((((triple4 triple5) -> rule3)) -> rule4)) -> rule6))] Charlie is smart.[(((((triple4 ((triple4 triple5) -> rule3)) -> rule2)) -> rule5))]