Anne is round. Bob is round. Bob is smart. Dave is red. Dave is round. Gary is furry. Gary is kind. Gary is nice. Gary is red. Gary is round. Furry people are kind. All kind people are round. If Anne is red then Anne is kind. If someone is round and smart then they are nice. Round people are red. Furry people are round. Round, furry people are smart. Red, kind people are furry.
Bob is red.
@0: Anne is round.[(triple1)] Bob is round.[(triple2)] Bob is smart.[(triple3)] Dave is red.[(triple4 OR ((triple5) -> rule5))] Dave is round.[(triple5)] Gary is furry.[(triple6 OR ((triple9 triple7) -> rule8) OR ((((triple10) -> rule5) triple7) -> rule8) OR ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8))] Gary is kind.[(triple7 OR ((triple6) -> rule1))] Gary is nice.[(triple8 OR ((triple10 ((triple10 triple6) -> rule7)) -> rule4) OR ((((triple6) -> rule6) ((triple10 triple6) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((triple10 triple6) -> rule7)) -> rule4) OR ((triple10 ((triple10 ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((triple10 ((((triple6) -> rule6) triple6) -> rule7)) -> rule4) OR ((triple10 ((((triple7) -> rule2) triple6) -> rule7)) -> rule4) OR ((triple10 ((((triple6) -> rule6) ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((triple10 ((((triple7) -> rule2) ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple6) -> rule6) ((triple10 ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple6) -> rule6) ((((triple6) -> rule6) triple6) -> rule7)) -> rule4) OR ((((triple6) -> rule6) ((((triple7) -> rule2) triple6) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((triple10 ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((((triple6) -> rule6) triple6) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((((triple7) -> rule2) triple6) -> rule7)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2) ((triple10 triple6) -> rule7)) -> rule4) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((triple10 triple6) -> rule7)) -> rule4) OR ((((triple6) -> rule6) ((((triple6) -> rule6) ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple6) -> rule6) ((((triple7) -> rule2) ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((((triple6) -> rule6) ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((((triple7) -> rule2) ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2) ((triple10 ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2) ((((triple6) -> rule6) triple6) -> rule7)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2) ((((triple7) -> rule2) triple6) -> rule7)) -> rule4) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((triple10 ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((((triple6) -> rule6) triple6) -> rule7)) -> rule4) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((((triple7) -> rule2) triple6) -> rule7)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2) ((((triple6) -> rule6) ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2) ((((triple7) -> rule2) ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((((triple6) -> rule6) ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((((triple7) -> rule2) ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((triple10 ((triple10 ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((triple10 ((((((triple6) -> rule1)) -> rule2) triple6) -> rule7)) -> rule4) OR ((triple10 ((((((triple9 triple7) -> rule8)) -> rule6) triple6) -> rule7)) -> rule4) OR ((triple10 ((((triple6) -> rule6) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((triple10 ((((triple7) -> rule2) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((triple10 ((((((triple6) -> rule1)) -> rule2) ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((triple10 ((((((triple9 triple7) -> rule8)) -> rule6) ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple6) -> rule6) ((triple10 ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple6) -> rule6) ((((((triple6) -> rule1)) -> rule2) triple6) -> rule7)) -> rule4) OR ((((triple6) -> rule6) ((((((triple9 triple7) -> rule8)) -> rule6) triple6) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((triple10 ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((((((triple6) -> rule1)) -> rule2) triple6) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((((((triple9 triple7) -> rule8)) -> rule6) triple6) -> rule7)) -> rule4) OR ((triple10 ((((((triple6) -> rule1)) -> rule2) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((triple10 ((((((triple9 triple7) -> rule8)) -> rule6) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple6) -> rule6) ((((triple6) -> rule6) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple6) -> rule6) ((((triple7) -> rule2) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple6) -> rule6) ((((((triple6) -> rule1)) -> rule2) ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple6) -> rule6) ((((((triple9 triple7) -> rule8)) -> rule6) ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((((triple6) -> rule6) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((((triple7) -> rule2) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((((((triple6) -> rule1)) -> rule2) ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((((((triple9 triple7) -> rule8)) -> rule6) ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2) ((triple10 ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2) ((((((triple6) -> rule1)) -> rule2) triple6) -> rule7)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2) ((((((triple9 triple7) -> rule8)) -> rule6) triple6) -> rule7)) -> rule4) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((triple10 ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((((((triple6) -> rule1)) -> rule2) triple6) -> rule7)) -> rule4) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((((((triple9 triple7) -> rule8)) -> rule6) triple6) -> rule7)) -> rule4) OR ((((triple6) -> rule6) ((((((triple6) -> rule1)) -> rule2) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple6) -> rule6) ((((((triple9 triple7) -> rule8)) -> rule6) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((((((triple6) -> rule1)) -> rule2) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((((((triple9 triple7) -> rule8)) -> rule6) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2) ((((triple6) -> rule6) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2) ((((triple7) -> rule2) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2) ((((((triple6) -> rule1)) -> rule2) ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2) ((((((triple9 triple7) -> rule8)) -> rule6) ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((((triple6) -> rule6) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((((triple7) -> rule2) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((((((triple6) -> rule1)) -> rule2) ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((((((triple9 triple7) -> rule8)) -> rule6) ((triple9 triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2) ((((((triple6) -> rule1)) -> rule2) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2) ((((((triple9 triple7) -> rule8)) -> rule6) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((((((triple6) -> rule1)) -> rule2) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((((((triple9 triple7) -> rule8)) -> rule6) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((triple10 ((triple10 ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((triple10 ((((triple6) -> rule6) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((triple10 ((((triple7) -> rule2) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple6) -> rule6) ((triple10 ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((triple10 ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((triple10 ((((((triple6) -> rule1)) -> rule2) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((triple10 ((((((triple9 triple7) -> rule8)) -> rule6) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple6) -> rule6) ((((triple6) -> rule6) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple6) -> rule6) ((((triple7) -> rule2) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((((triple6) -> rule6) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((((triple7) -> rule2) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2) ((triple10 ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((triple10 ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple6) -> rule6) ((((((triple6) -> rule1)) -> rule2) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple6) -> rule6) ((((((triple9 triple7) -> rule8)) -> rule6) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((((((triple6) -> rule1)) -> rule2) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((((((triple9 triple7) -> rule8)) -> rule6) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2) ((((triple6) -> rule6) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2) ((((triple7) -> rule2) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((((triple6) -> rule6) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((((triple7) -> rule2) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2) ((((((triple6) -> rule1)) -> rule2) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2) ((((((triple9 triple7) -> rule8)) -> rule6) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((((((triple6) -> rule1)) -> rule2) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((((((triple9 triple7) -> rule8)) -> rule6) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7)) -> rule4))] Gary is red.[(triple9 OR ((triple10) -> rule5) OR ((((triple6) -> rule6)) -> rule5) OR ((((triple7) -> rule2)) -> rule5) OR ((((((triple6) -> rule1)) -> rule2)) -> rule5))] Gary is round.[(triple10 OR ((triple6) -> rule6) OR ((triple7) -> rule2) OR ((((triple6) -> rule1)) -> rule2) OR ((((triple9 triple7) -> rule8)) -> rule6))] @1: Anne is red.[(((triple1) -> rule5))] Bob is nice.[(((triple2 triple3) -> rule4))] Bob is red.[(((triple2) -> rule5))] Gary is smart.[(((triple10 triple6) -> rule7) OR ((triple10 ((triple9 triple7) -> rule8)) -> rule7) OR ((((triple6) -> rule6) triple6) -> rule7) OR ((((triple7) -> rule2) triple6) -> rule7) OR ((((triple6) -> rule6) ((triple9 triple7) -> rule8)) -> rule7) OR ((((triple7) -> rule2) ((triple9 triple7) -> rule8)) -> rule7) OR ((triple10 ((((triple10) -> rule5) triple7) -> rule8)) -> rule7) OR ((((((triple6) -> rule1)) -> rule2) triple6) -> rule7) OR ((((((triple9 triple7) -> rule8)) -> rule6) triple6) -> rule7) OR ((((triple6) -> rule6) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7) OR ((((triple7) -> rule2) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7) OR ((((((triple6) -> rule1)) -> rule2) ((triple9 triple7) -> rule8)) -> rule7) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((triple9 triple7) -> rule8)) -> rule7) OR ((((((triple6) -> rule1)) -> rule2) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((((triple10) -> rule5) triple7) -> rule8)) -> rule7) OR ((triple10 ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7) OR ((((triple6) -> rule6) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7) OR ((((triple7) -> rule2) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7) OR ((((((triple6) -> rule1)) -> rule2) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7) OR ((((((triple9 triple7) -> rule8)) -> rule6) ((((((triple7) -> rule2)) -> rule5) triple7) -> rule8)) -> rule7))] @2: Anne is kind.[(((((triple1) -> rule5)) -> rule3))] @3: Anne is furry.[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule3)) -> rule8))] @4: Anne is smart.[(((triple1 ((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule7))] @5: Anne is nice.[(((triple1 ((triple1 ((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule7)) -> rule4))]