Bob is nice. Bob is round. Bob is white. Charlie is blue. Charlie is nice. Fiona is blue. Harry is white. If someone is blue then they are furry. All furry, nice people are smart. If someone is furry and white then they are nice. All white people are blue. Nice, smart people are quiet. Round people are white.
Charlie is not quiet.
@0: Bob is nice.[(triple1 OR ((((((triple3) -> rule4)) -> rule1) triple3) -> rule3) OR ((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3) OR ((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3) OR ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3))] Bob is round.[(triple2)] Bob is white.[(triple3 OR ((triple2) -> rule6))] Charlie is blue.[(triple4)] Charlie is nice.[(triple5)] Fiona is blue.[(triple6)] Harry is white.[(triple7)] @1: Bob is blue.[(((triple3) -> rule4) OR ((((triple2) -> rule6)) -> rule4))] Charlie is furry.[(((triple4) -> rule1))] Fiona is furry.[(((triple6) -> rule1))] Harry is blue.[(((triple7) -> rule4))] @2: Bob is furry.[(((((triple3) -> rule4)) -> rule1) OR ((((((triple2) -> rule6)) -> rule4)) -> rule1))] Charlie is smart.[(((((triple4) -> rule1) triple5) -> rule2))] Harry is furry.[(((((triple7) -> rule4)) -> rule1))] @3: Bob is smart.[(((((((triple3) -> rule4)) -> rule1) triple1) -> rule2) OR ((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple1) -> rule2) OR ((((((triple3) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2) OR ((((((triple3) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2) OR ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2) OR ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2) OR ((((((triple3) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2) OR ((((((triple3) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2) OR ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2) OR ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2))] Charlie is quiet.[(((triple5 ((((triple4) -> rule1) triple5) -> rule2)) -> rule5))] Harry is nice.[(((((((triple7) -> rule4)) -> rule1) triple7) -> rule3))] @4: Bob is quiet.[(((triple1 ((((((triple3) -> rule4)) -> rule1) triple1) -> rule2)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule1) triple3) -> rule3) ((((((triple3) -> rule4)) -> rule1) triple1) -> rule2)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3) ((((((triple3) -> rule4)) -> rule1) triple1) -> rule2)) -> rule5) OR ((triple1 ((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple1) -> rule2)) -> rule5) OR ((triple1 ((((((triple3) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2)) -> rule5) OR ((triple1 ((((((triple3) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((triple1 ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule1) triple3) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple1) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3) ((((((triple3) -> rule4)) -> rule1) triple1) -> rule2)) -> rule5) OR ((triple1 ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple1) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple1) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3) ((((((triple3) -> rule4)) -> rule1) triple1) -> rule2)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule1) triple3) -> rule3) ((((((triple3) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple1) -> rule2)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule1) triple3) -> rule3) ((((((triple3) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule1) triple3) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3) ((((((triple3) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3) ((((((triple3) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule1) triple3) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3) ((((((triple3) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3) ((((((triple3) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3) ((((((triple3) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3) ((((((triple3) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((triple1 ((((((triple3) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2)) -> rule5) OR ((triple1 ((((((triple3) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((triple1 ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2)) -> rule5) OR ((triple1 ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule1) triple3) -> rule3) ((((((triple3) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule1) triple3) -> rule3) ((((((triple3) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule1) triple3) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3) ((((((triple3) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3) ((((((triple3) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule1) triple3) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3) ((((((triple3) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3) ((((((triple3) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3) ((((((triple3) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3) ((((((triple3) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) triple3) -> rule3)) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule5))] Harry is smart.[(((((((triple7) -> rule4)) -> rule1) ((((((triple7) -> rule4)) -> rule1) triple7) -> rule3)) -> rule2))] @5: Harry is quiet.[(((((((((triple7) -> rule4)) -> rule1) triple7) -> rule3) ((((((triple7) -> rule4)) -> rule1) ((((((triple7) -> rule4)) -> rule1) triple7) -> rule3)) -> rule2)) -> rule5))]