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