Dave is kind. Dave is red. Dave is smart. Erin is kind. Erin is quiet. Erin is red. Erin is round. Erin is smart. Erin is young. Fiona is smart. Fiona is young. Gary is kind. Gary is quiet. Gary is red. Gary is round. Kind people are quiet. All young, kind people are nice. Quiet, smart people are nice. If someone is red and round then they are nice. If someone is kind and nice then they are round. If someone is nice then they are young. All young, smart people are kind. If someone is red and quiet then they are kind.
Dave is kind.
@0: Dave is kind.[(triple1)] Dave is red.[(triple2)] Dave is smart.[(triple3)] Erin is kind.[(triple4 OR ((triple6 triple5) -> rule8) OR ((triple9 triple8) -> rule7) OR ((((((triple5 triple8) -> rule3)) -> rule6) triple8) -> rule7) OR ((((((triple6 triple7) -> rule4)) -> rule6) triple8) -> rule7))] Erin is quiet.[(triple5 OR ((triple4) -> rule1) OR ((((triple9 triple8) -> rule7)) -> rule1) OR ((((((((triple6 triple7) -> rule4)) -> rule6) triple8) -> rule7)) -> rule1))] Erin is red.[(triple6)] Erin is round.[(triple7 OR ((triple4 ((triple5 triple8) -> rule3)) -> rule5) OR ((triple4 ((triple9 triple4) -> rule2)) -> rule5) OR ((((triple6 triple5) -> rule8) ((triple5 triple8) -> rule3)) -> rule5) OR ((((triple6 triple5) -> rule8) ((triple9 triple4) -> rule2)) -> rule5) OR ((((triple9 triple8) -> rule7) ((triple5 triple8) -> rule3)) -> rule5) OR ((((triple9 triple8) -> rule7) ((triple9 triple4) -> rule2)) -> rule5) OR ((triple4 ((triple9 ((triple6 triple5) -> rule8)) -> rule2)) -> rule5) OR ((triple4 ((triple9 ((triple9 triple8) -> rule7)) -> rule2)) -> rule5) OR ((triple4 ((((triple4) -> rule1) triple8) -> rule3)) -> rule5) OR ((((triple6 triple5) -> rule8) ((triple9 ((triple6 triple5) -> rule8)) -> rule2)) -> rule5) OR ((((triple6 triple5) -> rule8) ((triple9 ((triple9 triple8) -> rule7)) -> rule2)) -> rule5) OR ((((triple6 triple5) -> rule8) ((((triple4) -> rule1) triple8) -> rule3)) -> rule5) OR ((((triple9 triple8) -> rule7) ((triple9 ((triple6 triple5) -> rule8)) -> rule2)) -> rule5) OR ((((triple9 triple8) -> rule7) ((triple9 ((triple9 triple8) -> rule7)) -> rule2)) -> rule5) OR ((((triple9 triple8) -> rule7) ((((triple4) -> rule1) triple8) -> rule3)) -> rule5) OR ((triple4 ((((((triple9 triple8) -> rule7)) -> rule1) triple8) -> rule3)) -> rule5) OR ((((triple6 triple5) -> rule8) ((((((triple9 triple8) -> rule7)) -> rule1) triple8) -> rule3)) -> rule5) OR ((((triple9 triple8) -> rule7) ((((((triple9 triple8) -> rule7)) -> rule1) triple8) -> rule3)) -> rule5) OR ((((((((triple5 triple8) -> rule3)) -> rule6) triple8) -> rule7) ((triple5 triple8) -> rule3)) -> rule5) OR ((((((((triple5 triple8) -> rule3)) -> rule6) triple8) -> rule7) ((triple9 triple4) -> rule2)) -> rule5) OR ((((((((triple5 triple8) -> rule3)) -> rule6) triple8) -> rule7) ((triple9 ((triple6 triple5) -> rule8)) -> rule2)) -> rule5) OR ((((((((triple5 triple8) -> rule3)) -> rule6) triple8) -> rule7) ((triple9 ((triple9 triple8) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple5 triple8) -> rule3)) -> rule6) triple8) -> rule7) ((((triple4) -> rule1) triple8) -> rule3)) -> rule5) OR ((((((((triple5 triple8) -> rule3)) -> rule6) triple8) -> rule7) ((((((triple9 triple8) -> rule7)) -> rule1) triple8) -> rule3)) -> rule5))] Erin is smart.[(triple8)] Erin is young.[(triple9 OR ((((triple5 triple8) -> rule3)) -> rule6) OR ((((triple6 triple7) -> rule4)) -> rule6) OR ((((((triple4) -> rule1) triple8) -> rule3)) -> rule6))] Fiona is smart.[(triple10)] Fiona is young.[(triple11)] Gary is kind.[(triple12 OR ((triple14 triple13) -> rule8))] Gary is quiet.[(triple13 OR ((triple12) -> rule1))] Gary is red.[(triple14)] Gary is round.[(triple15)] @1: Dave is quiet.[(((triple1) -> rule1))] Erin is nice.[(((triple5 triple8) -> rule3) OR ((triple6 triple7) -> rule4) OR ((triple9 triple4) -> rule2) OR ((triple9 ((triple6 triple5) -> rule8)) -> rule2) OR ((triple9 ((triple9 triple8) -> rule7)) -> rule2) OR ((((triple4) -> rule1) triple8) -> rule3) OR ((((((triple9 triple8) -> rule7)) -> rule1) triple8) -> rule3))] Fiona is kind.[(((triple11 triple10) -> rule7))] Gary is nice.[(((triple14 triple15) -> rule4))] @2: Dave is nice.[(((((triple1) -> rule1) triple3) -> rule3))] Fiona is nice.[(((triple11 ((triple11 triple10) -> rule7)) -> rule2) OR ((((((triple11 triple10) -> rule7)) -> rule1) triple10) -> rule3))] Fiona is quiet.[(((((triple11 triple10) -> rule7)) -> rule1))] Gary is young.[(((((triple14 triple15) -> rule4)) -> rule6))] @3: Dave is round.[(((triple1 ((((triple1) -> rule1) triple3) -> rule3)) -> rule5))] Dave is young.[(((((((triple1) -> rule1) triple3) -> rule3)) -> rule6))] Fiona is round.[(((((triple11 triple10) -> rule7) ((triple11 ((triple11 triple10) -> rule7)) -> rule2)) -> rule5) OR ((((triple11 triple10) -> rule7) ((((((triple11 triple10) -> rule7)) -> rule1) triple10) -> rule3)) -> rule5))]