Bob is green. Bob is kind. Bob is rough. Erin is big. Erin is kind. Erin is white. Fiona is white. Gary is big. Gary is green. Gary is kind. Gary is red. Gary is white. All green, rough things are big. If something is big and kind then it is red. Rough things are big. Red things are green. Smart things are red. All big, smart things are red.
Bob is green.
@0: Bob is green.[(triple1 OR ((((((triple3) -> rule3) triple2) -> rule2)) -> rule4))] Bob is kind.[(triple2)] Bob is rough.[(triple3)] Erin is big.[(triple4)] Erin is kind.[(triple5)] Erin is white.[(triple6)] Fiona is white.[(triple7)] Gary is big.[(triple8)] Gary is green.[(triple9 OR ((triple11) -> rule4) OR ((((triple8 triple10) -> rule2)) -> rule4))] Gary is kind.[(triple10)] Gary is red.[(triple11 OR ((triple8 triple10) -> rule2))] Gary is white.[(triple12)] @1: Bob is big.[(((triple3) -> rule3) OR ((triple1 triple3) -> rule1))] Erin is red.[(((triple4 triple5) -> rule2))] @2: Bob is red.[(((((triple3) -> rule3) triple2) -> rule2) OR ((((triple1 triple3) -> rule1) triple2) -> rule2))] Erin is green.[(((((triple4 triple5) -> rule2)) -> rule4))]