Bob is big. Bob is blue. Bob is kind. Bob is quiet. Bob is round. Charlie is white. Erin is big. Erin is blue. Erin is quiet. Erin is round. Erin is young. Fiona is quiet. Quiet things are white. All young things are quiet. All round, quiet things are kind. If Bob is kind then Bob is round. White, round things are big. All big, quiet things are round. If Erin is white then Erin is blue. All young things are white.
Charlie is not quiet.
@0: Bob is big.[(triple1 OR ((((triple4) -> rule1) triple5) -> rule5) OR ((((triple4) -> rule1) ((triple3) -> rule4)) -> rule5))] Bob is blue.[(triple2)] Bob is kind.[(triple3 OR ((triple5 triple4) -> rule3) OR ((((triple1 triple4) -> rule6) triple4) -> rule3))] Bob is quiet.[(triple4)] Bob is round.[(triple5 OR ((triple3) -> rule4) OR ((triple1 triple4) -> rule6))] Charlie is white.[(triple6)] Erin is big.[(triple7 OR ((((triple11) -> rule8) triple10) -> rule5) OR ((((triple9) -> rule1) triple10) -> rule5) OR ((((((triple11) -> rule2)) -> rule1) triple10) -> rule5))] Erin is blue.[(triple8 OR ((((triple11) -> rule8)) -> rule7) OR ((((triple9) -> rule1)) -> rule7) OR ((((((triple11) -> rule2)) -> rule1)) -> rule7))] Erin is quiet.[(triple9 OR ((triple11) -> rule2))] Erin is round.[(triple10 OR ((triple7 triple9) -> rule6) OR ((triple7 ((triple11) -> rule2)) -> rule6))] Erin is young.[(triple11)] Fiona is quiet.[(triple12)] @1: Bob is white.[(((triple4) -> rule1))] Erin is kind.[(((triple10 triple9) -> rule3) OR ((triple10 ((triple11) -> rule2)) -> rule3) OR ((((triple7 triple9) -> rule6) triple9) -> rule3) OR ((((triple7 triple9) -> rule6) ((triple11) -> rule2)) -> rule3) OR ((((triple7 ((triple11) -> rule2)) -> rule6) triple9) -> rule3) OR ((((triple7 ((triple11) -> rule2)) -> rule6) ((triple11) -> rule2)) -> rule3))] Erin is white.[(((triple11) -> rule8) OR ((triple9) -> rule1) OR ((((triple11) -> rule2)) -> rule1))] Fiona is white.[(((triple12) -> rule1))]