Anne is red. Anne is rough. Anne is young. Charlie is rough. Fiona is not kind. Fiona is nice. Gary is big. Young, red people are big. Nice people are green. If someone is big and not kind then they are green. All rough people are young. All nice people are young. All rough people are young. All young people are red. If someone is big then they are nice. If Charlie is kind then Charlie is young.
Gary is not green.
@0: Anne is red.[(triple1 OR ((triple3) -> rule7) OR ((((triple2) -> rule4)) -> rule7) OR ((((triple2) -> rule6)) -> rule7))] Anne is rough.[(triple2)] Anne is young.[(triple3 OR ((triple2) -> rule4) OR ((triple2) -> rule6))] Charlie is rough.[(triple4)] Fiona is nice.[(triple6)] Fiona is not kind.[(triple5)] Gary is big.[(triple7)] @1: Anne is big.[(((triple3 triple1) -> rule1) OR ((triple3 ((triple3) -> rule7)) -> rule1) OR ((((triple2) -> rule4) triple1) -> rule1) OR ((((triple2) -> rule6) triple1) -> rule1) OR ((((triple2) -> rule4) ((triple3) -> rule7)) -> rule1) OR ((((triple2) -> rule6) ((triple3) -> rule7)) -> rule1) OR ((triple3 ((((triple2) -> rule4)) -> rule7)) -> rule1) OR ((triple3 ((((triple2) -> rule6)) -> rule7)) -> rule1) OR ((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule7)) -> rule1) OR ((((triple2) -> rule4) ((((triple2) -> rule6)) -> rule7)) -> rule1) OR ((((triple2) -> rule6) ((((triple2) -> rule4)) -> rule7)) -> rule1) OR ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule7)) -> rule1))] Charlie is young.[(((triple4) -> rule4) OR ((triple4) -> rule6))] Fiona is green.[(((triple6) -> rule2) OR ((((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule1) triple5) -> rule3))] Fiona is young.[(((triple6) -> rule5))] Gary is nice.[(((triple7) -> rule8))] @2: Anne is nice.[(((((triple3 triple1) -> rule1)) -> rule8) OR ((((triple3 ((triple3) -> rule7)) -> rule1)) -> rule8) OR ((((((triple2) -> rule4) triple1) -> rule1)) -> rule8) OR ((((((triple2) -> rule6) triple1) -> rule1)) -> rule8) OR ((((((triple2) -> rule4) ((triple3) -> rule7)) -> rule1)) -> rule8) OR ((((((triple2) -> rule6) ((triple3) -> rule7)) -> rule1)) -> rule8) OR ((((triple3 ((((triple2) -> rule4)) -> rule7)) -> rule1)) -> rule8) OR ((((triple3 ((((triple2) -> rule6)) -> rule7)) -> rule1)) -> rule8) OR ((((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule7)) -> rule1)) -> rule8) OR ((((((triple2) -> rule4) ((((triple2) -> rule6)) -> rule7)) -> rule1)) -> rule8) OR ((((((triple2) -> rule6) ((((triple2) -> rule4)) -> rule7)) -> rule1)) -> rule8) OR ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule7)) -> rule1)) -> rule8))] Charlie is red.[(((((triple4) -> rule4)) -> rule7) OR ((((triple4) -> rule6)) -> rule7))] Fiona is red.[(((((triple6) -> rule5)) -> rule7))] Gary is green.[(((((triple7) -> rule8)) -> rule2))] Gary is young.[(((((triple7) -> rule8)) -> rule5))] @3: Anne is green.[(((((((triple3 triple1) -> rule1)) -> rule8)) -> rule2) OR ((((((triple3 ((triple3) -> rule7)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple2) -> rule4) triple1) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple2) -> rule6) triple1) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple2) -> rule4) ((triple3) -> rule7)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple2) -> rule6) ((triple3) -> rule7)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple3 ((((triple2) -> rule4)) -> rule7)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple3 ((((triple2) -> rule6)) -> rule7)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule7)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule6)) -> rule7)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple2) -> rule6) ((((triple2) -> rule4)) -> rule7)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule7)) -> rule1)) -> rule8)) -> rule2))] Charlie is big.[(((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule7)) -> rule1) OR ((((triple4) -> rule4) ((((triple4) -> rule6)) -> rule7)) -> rule1) OR ((((triple4) -> rule6) ((((triple4) -> rule4)) -> rule7)) -> rule1) OR ((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule7)) -> rule1))] Fiona is big.[(((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule1))] Gary is red.[(((((((triple7) -> rule8)) -> rule5)) -> rule7))] @4: Charlie is nice.[(((((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule8) OR ((((((triple4) -> rule4) ((((triple4) -> rule6)) -> rule7)) -> rule1)) -> rule8) OR ((((((triple4) -> rule6) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule8) OR ((((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule7)) -> rule1)) -> rule8))] @5: Charlie is green.[(((((((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple4) -> rule4) ((((triple4) -> rule6)) -> rule7)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple4) -> rule6) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule7)) -> rule1)) -> rule8)) -> rule2))]