Bob is blue. Bob is furry. Bob is kind. Bob is quiet. Bob is round. Bob is smart. Charlie is round. Charlie is smart. Charlie is young. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is round. Fiona is smart. Fiona is young. If Charlie is furry and Charlie is smart then Charlie is round. All furry things are young. If Charlie is smart and Charlie is round then Charlie is blue. If something is round then it is kind. Round things are young. If something is kind then it is furry. If Charlie is kind then Charlie is smart. All smart, young things are quiet.
Bob is not quiet.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2 OR ((triple3) -> rule6) OR ((((triple5) -> rule4)) -> rule6))] Bob is kind.[(triple3 OR ((triple5) -> rule4))] Bob is quiet.[(triple4 OR ((triple6 ((triple2) -> rule2)) -> rule8) OR ((triple6 ((triple5) -> rule5)) -> rule8) OR ((triple6 ((((triple3) -> rule6)) -> rule2)) -> rule8) OR ((triple6 ((((((triple5) -> rule4)) -> rule6)) -> rule2)) -> rule8))] Bob is round.[(triple5)] Bob is smart.[(triple6)] Charlie is round.[(triple7)] Charlie is smart.[(triple8 OR ((((triple7) -> rule4)) -> rule7))] Charlie is young.[(triple9 OR ((triple7) -> rule5) OR ((((((triple7) -> rule4)) -> rule6)) -> rule2))] Fiona is blue.[(triple10)] Fiona is furry.[(triple11 OR ((triple12) -> rule6) OR ((((triple13) -> rule4)) -> rule6))] Fiona is kind.[(triple12 OR ((triple13) -> rule4))] Fiona is round.[(triple13)] Fiona is smart.[(triple14)] Fiona is young.[(triple15 OR ((triple11) -> rule2) OR ((triple13) -> rule5) OR ((((triple12) -> rule6)) -> rule2) OR ((((((triple13) -> rule4)) -> rule6)) -> rule2))] @1: Bob is young.[(((triple2) -> rule2) OR ((triple5) -> rule5) OR ((((triple3) -> rule6)) -> rule2) OR ((((((triple5) -> rule4)) -> rule6)) -> rule2))] Charlie is blue.[(((triple8 triple7) -> rule3) OR ((((((triple7) -> rule4)) -> rule7) triple7) -> rule3))] Charlie is kind.[(((triple7) -> rule4))] Charlie is quiet.[(((triple8 triple9) -> rule8) OR ((triple8 ((triple7) -> rule5)) -> rule8) OR ((((((triple7) -> rule4)) -> rule7) triple9) -> rule8) OR ((((((triple7) -> rule4)) -> rule7) ((triple7) -> rule5)) -> rule8) OR ((triple8 ((((((triple7) -> rule4)) -> rule6)) -> rule2)) -> rule8) OR ((((((triple7) -> rule4)) -> rule7) ((((((triple7) -> rule4)) -> rule6)) -> rule2)) -> rule8))] Fiona is quiet.[(((triple14 triple15) -> rule8) OR ((triple14 ((triple11) -> rule2)) -> rule8) OR ((triple14 ((triple13) -> rule5)) -> rule8) OR ((triple14 ((((triple12) -> rule6)) -> rule2)) -> rule8) OR ((triple14 ((((((triple13) -> rule4)) -> rule6)) -> rule2)) -> rule8))] @2: Charlie is furry.[(((((triple7) -> rule4)) -> rule6))]