Charlie is big. Charlie is rough. Charlie is smart. Charlie is young. Erin is kind. Erin is quiet. Erin is rough. Erin is young. Fiona is smart. Gary is big. Gary is kind. Gary is smart. If something is smart then it is kind. If something is kind then it is quiet. All nice, big things are quiet. Kind, quiet things are nice. Big things are smart. Nice, young things are big. If something is smart and young then it is big. If something is nice and quiet then it is big. All kind, big things are young.
Charlie is not nice.
@0: Charlie is big.[(triple1 OR ((triple3 triple4) -> rule7) OR ((((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule4) triple4) -> rule6) OR ((((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule4) ((((triple3) -> rule1)) -> rule2)) -> rule8))] Charlie is rough.[(triple2)] Charlie is smart.[(triple3 OR ((triple1) -> rule5))] Charlie is young.[(triple4 OR ((((triple3) -> rule1) triple1) -> rule9) OR ((((((triple1) -> rule5)) -> rule1) triple1) -> rule9) OR ((((triple3) -> rule1) ((((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule4) ((((triple3) -> rule1)) -> rule2)) -> rule8)) -> rule9) OR ((((((triple1) -> rule5)) -> rule1) ((((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule4) ((((triple3) -> rule1)) -> rule2)) -> rule8)) -> rule9))] Erin is kind.[(triple5)] Erin is quiet.[(triple6 OR ((triple5) -> rule2))] Erin is rough.[(triple7)] Erin is young.[(triple8 OR ((triple5 ((((triple5 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((triple5 ((((triple5 triple6) -> rule4) ((triple5) -> rule2)) -> rule8)) -> rule9) OR ((triple5 ((((triple5 ((triple5) -> rule2)) -> rule4) triple6) -> rule8)) -> rule9) OR ((triple5 ((((triple5 ((triple5) -> rule2)) -> rule4) ((triple5) -> rule2)) -> rule8)) -> rule9))] Fiona is smart.[(triple9)] Gary is big.[(triple10 OR ((((triple11 ((triple11) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule8) OR ((((triple11 ((triple11) -> rule2)) -> rule4) ((((triple12) -> rule1)) -> rule2)) -> rule8) OR ((((((triple12) -> rule1) ((triple11) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule8) OR ((((((triple12) -> rule1) ((triple11) -> rule2)) -> rule4) ((((triple12) -> rule1)) -> rule2)) -> rule8) OR ((((triple11 ((((triple12) -> rule1)) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule8) OR ((((triple11 ((((triple12) -> rule1)) -> rule2)) -> rule4) ((((triple12) -> rule1)) -> rule2)) -> rule8) OR ((((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule8) OR ((((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule4) ((((triple12) -> rule1)) -> rule2)) -> rule8))] Gary is kind.[(triple11 OR ((triple12) -> rule1) OR ((((triple10) -> rule5)) -> rule1))] Gary is smart.[(triple12 OR ((triple10) -> rule5) OR ((((((triple11 ((triple11) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule8)) -> rule5))] @1: Charlie is kind.[(((triple3) -> rule1) OR ((((triple1) -> rule5)) -> rule1))] Erin is nice.[(((triple5 triple6) -> rule4) OR ((triple5 ((triple5) -> rule2)) -> rule4))] Fiona is kind.[(((triple9) -> rule1))] Gary is quiet.[(((triple11) -> rule2) OR ((((triple12) -> rule1)) -> rule2) OR ((((((triple10) -> rule5)) -> rule1)) -> rule2))] Gary is young.[(((triple11 triple10) -> rule9) OR ((((triple12) -> rule1) triple10) -> rule9) OR ((((((triple10) -> rule5)) -> rule1) triple10) -> rule9) OR ((triple11 ((((triple11 ((triple11) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule8)) -> rule9) OR ((triple11 ((((triple11 ((triple11) -> rule2)) -> rule4) ((((triple12) -> rule1)) -> rule2)) -> rule8)) -> rule9) OR ((triple11 ((((((triple12) -> rule1) ((triple11) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule8)) -> rule9) OR ((((triple12) -> rule1) ((((triple11 ((triple11) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule8)) -> rule9) OR ((triple11 ((((((triple12) -> rule1) ((triple11) -> rule2)) -> rule4) ((((triple12) -> rule1)) -> rule2)) -> rule8)) -> rule9) OR ((((triple12) -> rule1) ((((triple11 ((triple11) -> rule2)) -> rule4) ((((triple12) -> rule1)) -> rule2)) -> rule8)) -> rule9) OR ((((triple12) -> rule1) ((((((triple12) -> rule1) ((triple11) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule8)) -> rule9) OR ((((((triple10) -> rule5)) -> rule1) ((((triple11 ((triple11) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule8)) -> rule9) OR ((((triple12) -> rule1) ((((((triple12) -> rule1) ((triple11) -> rule2)) -> rule4) ((((triple12) -> rule1)) -> rule2)) -> rule8)) -> rule9) OR ((((((triple10) -> rule5)) -> rule1) ((((triple11 ((triple11) -> rule2)) -> rule4) ((((triple12) -> rule1)) -> rule2)) -> rule8)) -> rule9) OR ((((((triple10) -> rule5)) -> rule1) ((((((triple12) -> rule1) ((triple11) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule8)) -> rule9) OR ((((((triple10) -> rule5)) -> rule1) ((((((triple12) -> rule1) ((triple11) -> rule2)) -> rule4) ((((triple12) -> rule1)) -> rule2)) -> rule8)) -> rule9) OR ((triple11 ((((triple11 ((((triple12) -> rule1)) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule8)) -> rule9) OR ((triple11 ((((triple11 ((((triple12) -> rule1)) -> rule2)) -> rule4) ((((triple12) -> rule1)) -> rule2)) -> rule8)) -> rule9) OR ((triple11 ((((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule8)) -> rule9) OR ((((triple12) -> rule1) ((((triple11 ((((triple12) -> rule1)) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule8)) -> rule9) OR ((triple11 ((((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule4) ((((triple12) -> rule1)) -> rule2)) -> rule8)) -> rule9) OR ((((triple12) -> rule1) ((((triple11 ((((triple12) -> rule1)) -> rule2)) -> rule4) ((((triple12) -> rule1)) -> rule2)) -> rule8)) -> rule9) OR ((((triple12) -> rule1) ((((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule8)) -> rule9) OR ((((((triple10) -> rule5)) -> rule1) ((((triple11 ((((triple12) -> rule1)) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule8)) -> rule9) OR ((((triple12) -> rule1) ((((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule4) ((((triple12) -> rule1)) -> rule2)) -> rule8)) -> rule9) OR ((((((triple10) -> rule5)) -> rule1) ((((triple11 ((((triple12) -> rule1)) -> rule2)) -> rule4) ((((triple12) -> rule1)) -> rule2)) -> rule8)) -> rule9) OR ((((((triple10) -> rule5)) -> rule1) ((((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule8)) -> rule9) OR ((((((triple10) -> rule5)) -> rule1) ((((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule4) ((((triple12) -> rule1)) -> rule2)) -> rule8)) -> rule9))] @2: Charlie is quiet.[(((((triple3) -> rule1)) -> rule2) OR ((((((triple1) -> rule5)) -> rule1)) -> rule2))] Erin is big.[(((((triple5 triple6) -> rule4) triple6) -> rule8) OR ((((triple5 triple6) -> rule4) triple8) -> rule6) OR ((((triple5 triple6) -> rule4) ((triple5) -> rule2)) -> rule8) OR ((((triple5 ((triple5) -> rule2)) -> rule4) triple6) -> rule8) OR ((((triple5 ((triple5) -> rule2)) -> rule4) triple8) -> rule6) OR ((((triple5 ((triple5) -> rule2)) -> rule4) ((triple5) -> rule2)) -> rule8))] Fiona is quiet.[(((((triple9) -> rule1)) -> rule2))] Gary is nice.[(((triple11 ((triple11) -> rule2)) -> rule4) OR ((((triple12) -> rule1) ((triple11) -> rule2)) -> rule4) OR ((triple11 ((((triple12) -> rule1)) -> rule2)) -> rule4) OR ((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule4) OR ((((((triple10) -> rule5)) -> rule1) ((triple11) -> rule2)) -> rule4) OR ((((((triple10) -> rule5)) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule4) OR ((triple11 ((((((triple10) -> rule5)) -> rule1)) -> rule2)) -> rule4) OR ((((triple12) -> rule1) ((((((triple10) -> rule5)) -> rule1)) -> rule2)) -> rule4) OR ((((((triple10) -> rule5)) -> rule1) ((((((triple10) -> rule5)) -> rule1)) -> rule2)) -> rule4))] @3: Charlie is nice.[(((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule4) OR ((((((triple1) -> rule5)) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule4) OR ((((triple3) -> rule1) ((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule4) OR ((((((triple1) -> rule5)) -> rule1) ((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule4))] Erin is smart.[(((((((triple5 triple6) -> rule4) triple6) -> rule8)) -> rule5) OR ((((((triple5 triple6) -> rule4) triple8) -> rule6)) -> rule5) OR ((((((triple5 triple6) -> rule4) ((triple5) -> rule2)) -> rule8)) -> rule5) OR ((((((triple5 ((triple5) -> rule2)) -> rule4) triple6) -> rule8)) -> rule5) OR ((((((triple5 ((triple5) -> rule2)) -> rule4) triple8) -> rule6)) -> rule5) OR ((((((triple5 ((triple5) -> rule2)) -> rule4) ((triple5) -> rule2)) -> rule8)) -> rule5))] Fiona is nice.[(((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule2)) -> rule4))] @4: Fiona is big.[(((((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule2)) -> rule4) ((((triple9) -> rule1)) -> rule2)) -> rule8))] @5: Fiona is young.[(((((triple9) -> rule1) ((((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule2)) -> rule4) ((((triple9) -> rule1)) -> rule2)) -> rule8)) -> rule9))]