Bob is big. Bob is green. Bob is red. Bob is rough. Bob is white. Erin is green. Fiona is kind. Fiona is white. Gary is big. Gary is furry. Gary is kind. Gary is red. If someone is big then they are rough. White, rough people are green. All green people are furry. Furry people are big. All rough, kind people are big. If Erin is red and Erin is big then Erin is kind.
Gary is red.
@0: Bob is big.[(triple1 OR ((((triple2) -> rule3)) -> rule4) OR ((((((triple5 triple4) -> rule2)) -> rule3)) -> rule4))] Bob is green.[(triple2 OR ((triple5 triple4) -> rule2) OR ((triple5 ((triple1) -> rule1)) -> rule2))] Bob is red.[(triple3)] Bob is rough.[(triple4 OR ((triple1) -> rule1) OR ((((((triple2) -> rule3)) -> rule4)) -> rule1))] Bob is white.[(triple5)] Erin is green.[(triple6)] Fiona is kind.[(triple7)] Fiona is white.[(triple8)] Gary is big.[(triple9 OR ((triple10) -> rule4))] Gary is furry.[(triple10)] Gary is kind.[(triple11)] Gary is red.[(triple12)] @1: Bob is furry.[(((triple2) -> rule3) OR ((((triple5 triple4) -> rule2)) -> rule3) OR ((((triple5 ((triple1) -> rule1)) -> rule2)) -> rule3))] Erin is furry.[(((triple6) -> rule3))] Gary is rough.[(((triple9) -> rule1) OR ((((triple10) -> rule4)) -> rule1))] @2: Erin is big.[(((((triple6) -> rule3)) -> rule4))] @3: Erin is rough.[(((((((triple6) -> rule3)) -> rule4)) -> rule1))]