Bob is quiet. Bob is young. Charlie is quiet. Charlie is young. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is white. Gary is green. Gary is nice. Gary is quiet. Gary is young. If someone is quiet and green then they are kind. Quiet people are white. All green, young people are nice. All green, white people are round. White people are nice. Quiet people are young. All green, white people are nice. If someone is kind and white then they are green. All nice, quiet people are kind.
Charlie is round.
@0: Bob is quiet.[(triple1)] Bob is young.[(triple2 OR ((triple1) -> rule6))] Charlie is quiet.[(triple3)] Charlie is young.[(triple4 OR ((triple3) -> rule6))] Fiona is nice.[(triple5 OR ((triple8) -> rule5) OR ((((triple6) -> rule2)) -> rule5))] Fiona is quiet.[(triple6)] Fiona is round.[(triple7 OR ((((((triple5 triple6) -> rule9) triple8) -> rule8) triple8) -> rule4) OR ((((((triple5 triple6) -> rule9) triple8) -> rule8) ((triple6) -> rule2)) -> rule4) OR ((((((triple5 triple6) -> rule9) ((triple6) -> rule2)) -> rule8) triple8) -> rule4) OR ((((((triple5 triple6) -> rule9) ((triple6) -> rule2)) -> rule8) ((triple6) -> rule2)) -> rule4) OR ((((((((triple8) -> rule5) triple6) -> rule9) triple8) -> rule8) triple8) -> rule4) OR ((((((((triple8) -> rule5) triple6) -> rule9) triple8) -> rule8) ((triple6) -> rule2)) -> rule4) OR ((((((((triple8) -> rule5) triple6) -> rule9) ((triple6) -> rule2)) -> rule8) triple8) -> rule4) OR ((((((((triple8) -> rule5) triple6) -> rule9) ((triple6) -> rule2)) -> rule8) ((triple6) -> rule2)) -> rule4) OR ((((((((((triple6) -> rule2)) -> rule5) triple6) -> rule9) triple8) -> rule8) triple8) -> rule4) OR ((((((((((triple6) -> rule2)) -> rule5) triple6) -> rule9) triple8) -> rule8) ((triple6) -> rule2)) -> rule4) OR ((((((((((triple6) -> rule2)) -> rule5) triple6) -> rule9) ((triple6) -> rule2)) -> rule8) triple8) -> rule4) OR ((((((((((triple6) -> rule2)) -> rule5) triple6) -> rule9) ((triple6) -> rule2)) -> rule8) ((triple6) -> rule2)) -> rule4))] Fiona is white.[(triple8 OR ((triple6) -> rule2))] Gary is green.[(triple9 OR ((((triple10 triple11) -> rule9) ((triple11) -> rule2)) -> rule8) OR ((((((((triple11) -> rule2)) -> rule5) triple11) -> rule9) ((triple11) -> rule2)) -> rule8))] Gary is nice.[(triple10 OR ((triple9 triple12) -> rule3) OR ((((triple11) -> rule2)) -> rule5) OR ((triple9 ((triple11) -> rule2)) -> rule7) OR ((triple9 ((triple11) -> rule6)) -> rule3))] Gary is quiet.[(triple11)] Gary is young.[(triple12 OR ((triple11) -> rule6))] @1: Bob is white.[(((triple1) -> rule2))] Charlie is white.[(((triple3) -> rule2))] Fiona is kind.[(((triple5 triple6) -> rule9) OR ((((triple8) -> rule5) triple6) -> rule9) OR ((((((triple6) -> rule2)) -> rule5) triple6) -> rule9))] Fiona is young.[(((triple6) -> rule6))] Gary is kind.[(((triple10 triple11) -> rule9) OR ((triple11 triple9) -> rule1) OR ((((triple9 triple12) -> rule3) triple11) -> rule9) OR ((((((triple11) -> rule2)) -> rule5) triple11) -> rule9) OR ((((triple9 ((triple11) -> rule2)) -> rule7) triple11) -> rule9) OR ((((triple9 ((triple11) -> rule6)) -> rule3) triple11) -> rule9))] Gary is white.[(((triple11) -> rule2))] @2: Bob is nice.[(((((triple1) -> rule2)) -> rule5))] Charlie is nice.[(((((triple3) -> rule2)) -> rule5))] Fiona is green.[(((((triple5 triple6) -> rule9) triple8) -> rule8) OR ((((triple5 triple6) -> rule9) ((triple6) -> rule2)) -> rule8) OR ((((((triple8) -> rule5) triple6) -> rule9) triple8) -> rule8) OR ((((((triple8) -> rule5) triple6) -> rule9) ((triple6) -> rule2)) -> rule8) OR ((((((((triple6) -> rule2)) -> rule5) triple6) -> rule9) triple8) -> rule8) OR ((((((((triple6) -> rule2)) -> rule5) triple6) -> rule9) ((triple6) -> rule2)) -> rule8))] Gary is round.[(((triple9 ((triple11) -> rule2)) -> rule4) OR ((((((triple10 triple11) -> rule9) ((triple11) -> rule2)) -> rule8) ((triple11) -> rule2)) -> rule4) OR ((((((((((triple11) -> rule2)) -> rule5) triple11) -> rule9) ((triple11) -> rule2)) -> rule8) ((triple11) -> rule2)) -> rule4))] @3: Bob is kind.[(((((((triple1) -> rule2)) -> rule5) triple1) -> rule9))] Charlie is kind.[(((((((triple3) -> rule2)) -> rule5) triple3) -> rule9))] @4: Bob is green.[(((((((((triple1) -> rule2)) -> rule5) triple1) -> rule9) ((triple1) -> rule2)) -> rule8))] Charlie is green.[(((((((((triple3) -> rule2)) -> rule5) triple3) -> rule9) ((triple3) -> rule2)) -> rule8))] @5: Bob is round.[(((((((((((triple1) -> rule2)) -> rule5) triple1) -> rule9) ((triple1) -> rule2)) -> rule8) ((triple1) -> rule2)) -> rule4))] Charlie is round.[(((((((((((triple3) -> rule2)) -> rule5) triple3) -> rule9) ((triple3) -> rule2)) -> rule8) ((triple3) -> rule2)) -> rule4))]