Charlie is big. Charlie is green. Charlie is round. Fiona is green. Fiona is round. Fiona is young. Gary is big. Gary is blue. Gary is green. Gary is red. Gary is round. Harry is big. Harry is blue. Harry is red. Harry is rough. Red people are blue. Red people are young. All round, green people are big. Young, green people are rough. All round, big people are rough. Young people are round. Big people are round. If someone is rough and green then they are red.
Fiona is not blue.
@0: Charlie is big.[(triple1 OR ((triple3 triple2) -> rule3))] Charlie is green.[(triple2)] Charlie is round.[(triple3 OR ((triple1) -> rule7))] Fiona is green.[(triple4)] Fiona is round.[(triple5 OR ((triple6) -> rule6))] Fiona is young.[(triple6 OR ((((((triple5 ((triple5 triple4) -> rule3)) -> rule5) triple4) -> rule8)) -> rule2))] Gary is big.[(triple7 OR ((triple11 triple9) -> rule3) OR ((((((triple10) -> rule2)) -> rule6) triple9) -> rule3))] Gary is blue.[(triple8 OR ((triple10) -> rule1) OR ((((((triple11 triple7) -> rule5) triple9) -> rule8)) -> rule1) OR ((((((triple11 ((triple11 triple9) -> rule3)) -> rule5) triple9) -> rule8)) -> rule1) OR ((((((((triple7) -> rule7) triple7) -> rule5) triple9) -> rule8)) -> rule1) OR ((((((((triple7) -> rule7) ((triple11 triple9) -> rule3)) -> rule5) triple9) -> rule8)) -> rule1))] Gary is green.[(triple9)] Gary is red.[(triple10 OR ((((triple11 triple7) -> rule5) triple9) -> rule8) OR ((((triple11 ((triple11 triple9) -> rule3)) -> rule5) triple9) -> rule8) OR ((((((triple7) -> rule7) triple7) -> rule5) triple9) -> rule8) OR ((((((triple7) -> rule7) ((triple11 triple9) -> rule3)) -> rule5) triple9) -> rule8))] Gary is round.[(triple11 OR ((triple7) -> rule7) OR ((((triple10) -> rule2)) -> rule6))] Harry is big.[(triple12)] Harry is blue.[(triple13 OR ((triple14) -> rule1))] Harry is red.[(triple14)] Harry is rough.[(triple15 OR ((((triple12) -> rule7) triple12) -> rule5) OR ((((((triple14) -> rule2)) -> rule6) triple12) -> rule5))] @1: Charlie is rough.[(((triple3 triple1) -> rule5) OR ((triple3 ((triple3 triple2) -> rule3)) -> rule5) OR ((((triple1) -> rule7) triple1) -> rule5) OR ((((triple1) -> rule7) ((triple3 triple2) -> rule3)) -> rule5))] Fiona is big.[(((triple5 triple4) -> rule3) OR ((((triple6) -> rule6) triple4) -> rule3))] Fiona is rough.[(((triple6 triple4) -> rule4) OR ((triple5 ((triple5 triple4) -> rule3)) -> rule5) OR ((((triple6) -> rule6) ((triple5 triple4) -> rule3)) -> rule5) OR ((triple5 ((((triple6) -> rule6) triple4) -> rule3)) -> rule5) OR ((((triple6) -> rule6) ((((triple6) -> rule6) triple4) -> rule3)) -> rule5))] Gary is rough.[(((triple11 triple7) -> rule5) OR ((triple11 ((triple11 triple9) -> rule3)) -> rule5) OR ((((triple10) -> rule2) triple9) -> rule4) OR ((((triple7) -> rule7) triple7) -> rule5) OR ((((triple7) -> rule7) ((triple11 triple9) -> rule3)) -> rule5) OR ((((((triple10) -> rule2)) -> rule6) triple7) -> rule5) OR ((((((triple10) -> rule2)) -> rule6) ((triple11 triple9) -> rule3)) -> rule5) OR ((triple11 ((((((triple10) -> rule2)) -> rule6) triple9) -> rule3)) -> rule5) OR ((((triple7) -> rule7) ((((((triple10) -> rule2)) -> rule6) triple9) -> rule3)) -> rule5) OR ((((((triple10) -> rule2)) -> rule6) ((((((triple10) -> rule2)) -> rule6) triple9) -> rule3)) -> rule5))] Gary is young.[(((triple10) -> rule2) OR ((((((triple11 triple7) -> rule5) triple9) -> rule8)) -> rule2) OR ((((((triple11 ((triple11 triple9) -> rule3)) -> rule5) triple9) -> rule8)) -> rule2) OR ((((((((triple7) -> rule7) triple7) -> rule5) triple9) -> rule8)) -> rule2) OR ((((((((triple7) -> rule7) ((triple11 triple9) -> rule3)) -> rule5) triple9) -> rule8)) -> rule2))] Harry is round.[(((triple12) -> rule7) OR ((((triple14) -> rule2)) -> rule6))] Harry is young.[(((triple14) -> rule2))] @2: Charlie is red.[(((((triple3 triple1) -> rule5) triple2) -> rule8) OR ((((triple3 ((triple3 triple2) -> rule3)) -> rule5) triple2) -> rule8) OR ((((((triple1) -> rule7) triple1) -> rule5) triple2) -> rule8) OR ((((((triple1) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) triple2) -> rule8))] Fiona is red.[(((((triple6 triple4) -> rule4) triple4) -> rule8) OR ((((triple5 ((triple5 triple4) -> rule3)) -> rule5) triple4) -> rule8) OR ((((((triple6) -> rule6) ((triple5 triple4) -> rule3)) -> rule5) triple4) -> rule8) OR ((((triple5 ((((triple6) -> rule6) triple4) -> rule3)) -> rule5) triple4) -> rule8) OR ((((((triple6) -> rule6) ((((triple6) -> rule6) triple4) -> rule3)) -> rule5) triple4) -> rule8))] @3: Charlie is blue.[(((((((triple3 triple1) -> rule5) triple2) -> rule8)) -> rule1) OR ((((((triple3 ((triple3 triple2) -> rule3)) -> rule5) triple2) -> rule8)) -> rule1) OR ((((((((triple1) -> rule7) triple1) -> rule5) triple2) -> rule8)) -> rule1) OR ((((((((triple1) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) triple2) -> rule8)) -> rule1))] Charlie is young.[(((((((triple3 triple1) -> rule5) triple2) -> rule8)) -> rule2) OR ((((((triple3 ((triple3 triple2) -> rule3)) -> rule5) triple2) -> rule8)) -> rule2) OR ((((((((triple1) -> rule7) triple1) -> rule5) triple2) -> rule8)) -> rule2) OR ((((((((triple1) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) triple2) -> rule8)) -> rule2))] Fiona is blue.[(((((((triple6 triple4) -> rule4) triple4) -> rule8)) -> rule1) OR ((((((triple5 ((triple5 triple4) -> rule3)) -> rule5) triple4) -> rule8)) -> rule1) OR ((((((((triple6) -> rule6) ((triple5 triple4) -> rule3)) -> rule5) triple4) -> rule8)) -> rule1) OR ((((((triple5 ((((triple6) -> rule6) triple4) -> rule3)) -> rule5) triple4) -> rule8)) -> rule1) OR ((((((((triple6) -> rule6) ((((triple6) -> rule6) triple4) -> rule3)) -> rule5) triple4) -> rule8)) -> rule1))]