Bob is kind. Bob is nice. Bob is quiet. Bob is smart. Charlie is kind. Fiona is kind. Fiona is smart. Gary is furry. Gary is quiet. Gary is round. All kind, round people are smart. Quiet people are nice. Quiet, nice people are kind. Nice people are round. If someone is quiet then they are kind. Furry, quiet people are round. Furry people are quiet. Kind people are quiet.
Charlie is not rough.
@0: Bob is kind.[(triple1 OR ((triple3) -> rule5) OR ((triple3 triple2) -> rule3) OR ((triple3 ((triple3) -> rule2)) -> rule3))] Bob is nice.[(triple2 OR ((triple3) -> rule2) OR ((((triple1) -> rule8)) -> rule2))] Bob is quiet.[(triple3 OR ((triple1) -> rule8))] Bob is smart.[(triple4 OR ((triple1 ((triple2) -> rule4)) -> rule1) OR ((((triple3) -> rule5) ((triple2) -> rule4)) -> rule1) OR ((((triple3 triple2) -> rule3) ((triple2) -> rule4)) -> rule1) OR ((triple1 ((((triple3) -> rule2)) -> rule4)) -> rule1) OR ((((triple3) -> rule5) ((((triple3) -> rule2)) -> rule4)) -> rule1) OR ((((triple3 triple2) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule1) OR ((((triple3 ((triple3) -> rule2)) -> rule3) ((triple2) -> rule4)) -> rule1) OR ((((triple3 ((triple3) -> rule2)) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule1) OR ((triple1 ((((((triple1) -> rule8)) -> rule2)) -> rule4)) -> rule1) OR ((((triple3) -> rule5) ((((((triple1) -> rule8)) -> rule2)) -> rule4)) -> rule1) OR ((((triple3 triple2) -> rule3) ((((((triple1) -> rule8)) -> rule2)) -> rule4)) -> rule1) OR ((((triple3 ((triple3) -> rule2)) -> rule3) ((((((triple1) -> rule8)) -> rule2)) -> rule4)) -> rule1))] Charlie is kind.[(triple5)] Fiona is kind.[(triple6)] Fiona is smart.[(triple7 OR ((triple6 ((((((triple6) -> rule8)) -> rule2)) -> rule4)) -> rule1))] Gary is furry.[(triple8)] Gary is quiet.[(triple9 OR ((triple8) -> rule7))] Gary is round.[(triple10 OR ((triple8 triple9) -> rule6) OR ((((triple9) -> rule2)) -> rule4) OR ((triple8 ((triple8) -> rule7)) -> rule6) OR ((((((triple8) -> rule7)) -> rule2)) -> rule4))] @1: Bob is round.[(((triple2) -> rule4) OR ((((triple3) -> rule2)) -> rule4) OR ((((((triple1) -> rule8)) -> rule2)) -> rule4))] Charlie is quiet.[(((triple5) -> rule8))] Fiona is quiet.[(((triple6) -> rule8))] Gary is kind.[(((triple9) -> rule5) OR ((((triple8) -> rule7)) -> rule5) OR ((triple9 ((triple9) -> rule2)) -> rule3) OR ((((triple8) -> rule7) ((triple9) -> rule2)) -> rule3) OR ((triple9 ((((triple8) -> rule7)) -> rule2)) -> rule3) OR ((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule2)) -> rule3))] Gary is nice.[(((triple9) -> rule2) OR ((((triple8) -> rule7)) -> rule2))] @2: Charlie is nice.[(((((triple5) -> rule8)) -> rule2))] Fiona is nice.[(((((triple6) -> rule8)) -> rule2))] Gary is smart.[(((((triple9) -> rule5) triple10) -> rule1) OR ((((triple9) -> rule5) ((triple8 triple9) -> rule6)) -> rule1) OR ((((((triple8) -> rule7)) -> rule5) triple10) -> rule1) OR ((((triple9 ((triple9) -> rule2)) -> rule3) triple10) -> rule1) OR ((((triple9) -> rule5) ((((triple9) -> rule2)) -> rule4)) -> rule1) OR ((((triple9) -> rule5) ((triple8 ((triple8) -> rule7)) -> rule6)) -> rule1) OR ((((((triple8) -> rule7)) -> rule5) ((triple8 triple9) -> rule6)) -> rule1) OR ((((triple9 ((triple9) -> rule2)) -> rule3) ((triple8 triple9) -> rule6)) -> rule1) OR ((((((triple8) -> rule7) ((triple9) -> rule2)) -> rule3) triple10) -> rule1) OR ((((((triple8) -> rule7)) -> rule5) ((((triple9) -> rule2)) -> rule4)) -> rule1) OR ((((((triple8) -> rule7)) -> rule5) ((triple8 ((triple8) -> rule7)) -> rule6)) -> rule1) OR ((((triple9 ((triple9) -> rule2)) -> rule3) ((((triple9) -> rule2)) -> rule4)) -> rule1) OR ((((triple9 ((triple9) -> rule2)) -> rule3) ((triple8 ((triple8) -> rule7)) -> rule6)) -> rule1) OR ((((((triple8) -> rule7) ((triple9) -> rule2)) -> rule3) ((triple8 triple9) -> rule6)) -> rule1) OR ((((((triple8) -> rule7) ((triple9) -> rule2)) -> rule3) ((((triple9) -> rule2)) -> rule4)) -> rule1) OR ((((((triple8) -> rule7) ((triple9) -> rule2)) -> rule3) ((triple8 ((triple8) -> rule7)) -> rule6)) -> rule1) OR ((((triple9 ((((triple8) -> rule7)) -> rule2)) -> rule3) triple10) -> rule1) OR ((((triple9) -> rule5) ((((((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule1) OR ((((triple9 ((((triple8) -> rule7)) -> rule2)) -> rule3) ((triple8 triple9) -> rule6)) -> rule1) OR ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule2)) -> rule3) triple10) -> rule1) OR ((((((triple8) -> rule7)) -> rule5) ((((((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule1) OR ((((triple9 ((triple9) -> rule2)) -> rule3) ((((((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule1) OR ((((triple9 ((((triple8) -> rule7)) -> rule2)) -> rule3) ((((triple9) -> rule2)) -> rule4)) -> rule1) OR ((((triple9 ((((triple8) -> rule7)) -> rule2)) -> rule3) ((triple8 ((triple8) -> rule7)) -> rule6)) -> rule1) OR ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule2)) -> rule3) ((triple8 triple9) -> rule6)) -> rule1) OR ((((triple9 ((((triple8) -> rule7)) -> rule2)) -> rule3) ((((((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule1) OR ((((((triple8) -> rule7) ((triple9) -> rule2)) -> rule3) ((((((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule1) OR ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule2)) -> rule3) ((((triple9) -> rule2)) -> rule4)) -> rule1) OR ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule2)) -> rule3) ((triple8 ((triple8) -> rule7)) -> rule6)) -> rule1) OR ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule2)) -> rule3) ((((((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule1))] @3: Charlie is round.[(((((((triple5) -> rule8)) -> rule2)) -> rule4))] Fiona is round.[(((((((triple6) -> rule8)) -> rule2)) -> rule4))] @4: Charlie is smart.[(((triple5 ((((((triple5) -> rule8)) -> rule2)) -> rule4)) -> rule1))]