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