Bob is blue. Bob is round. Dave is blue. Dave is nice. Erin is blue. Erin is furry. Erin is green. Erin is nice. Erin is round. Harry is green. Harry is nice. Harry is quiet. Harry is round. Harry is young. If something is round then it is green. Young, furry things are quiet. If Bob is round and Bob is nice then Bob is green. Round things are blue. All blue, young things are furry. All nice things are young. If something is round and nice then it is blue. All quiet things are young. If something is quiet then it is round.
Bob is nice.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule4))] Bob is round.[(triple2)] Dave is blue.[(triple3)] Dave is nice.[(triple4)] Erin is blue.[(triple5 OR ((triple9) -> rule4) OR ((triple9 triple8) -> rule7) OR ((((((((triple8) -> rule6) triple6) -> rule2)) -> rule9)) -> rule4) OR ((((((((triple8) -> rule6) triple6) -> rule2)) -> rule9) triple8) -> rule7))] Erin is furry.[(triple6 OR ((triple5 ((triple8) -> rule6)) -> rule5) OR ((((triple9) -> rule4) ((triple8) -> rule6)) -> rule5) OR ((((triple9 triple8) -> rule7) ((triple8) -> rule6)) -> rule5))] Erin is green.[(triple7 OR ((triple9) -> rule1) OR ((((((((triple8) -> rule6) triple6) -> rule2)) -> rule9)) -> rule1) OR ((((((((triple8) -> rule6) ((triple5 ((triple8) -> rule6)) -> rule5)) -> rule2)) -> rule9)) -> rule1))] Erin is nice.[(triple8)] Erin is round.[(triple9 OR ((((((triple8) -> rule6) triple6) -> rule2)) -> rule9) OR ((((((triple8) -> rule6) ((triple5 ((triple8) -> rule6)) -> rule5)) -> rule2)) -> rule9))] Harry is green.[(triple10 OR ((triple13) -> rule1) OR ((((triple12) -> rule9)) -> rule1))] Harry is nice.[(triple11)] Harry is quiet.[(triple12 OR ((triple14 ((((triple13) -> rule4) triple14) -> rule5)) -> rule2) OR ((triple14 ((((triple13 triple11) -> rule7) triple14) -> rule5)) -> rule2) OR ((triple14 ((((triple13) -> rule4) ((triple11) -> rule6)) -> rule5)) -> rule2) OR ((triple14 ((((triple13 triple11) -> rule7) ((triple11) -> rule6)) -> rule5)) -> rule2) OR ((((triple11) -> rule6) ((((triple13) -> rule4) triple14) -> rule5)) -> rule2) OR ((((triple11) -> rule6) ((((triple13 triple11) -> rule7) triple14) -> rule5)) -> rule2) OR ((((triple11) -> rule6) ((((triple13) -> rule4) ((triple11) -> rule6)) -> rule5)) -> rule2) OR ((((triple11) -> rule6) ((((triple13 triple11) -> rule7) ((triple11) -> rule6)) -> rule5)) -> rule2))] Harry is round.[(triple13 OR ((triple12) -> rule9))] Harry is young.[(triple14 OR ((triple11) -> rule6) OR ((triple12) -> rule8))] @1: Bob is green.[(((triple2) -> rule1))] Dave is young.[(((triple4) -> rule6))] Erin is young.[(((triple8) -> rule6))] Harry is blue.[(((triple13) -> rule4) OR ((triple13 triple11) -> rule7) OR ((((triple12) -> rule9)) -> rule4) OR ((((triple12) -> rule9) triple11) -> rule7))] @2: Dave is furry.[(((triple3 ((triple4) -> rule6)) -> rule5))] Erin is quiet.[(((((triple8) -> rule6) triple6) -> rule2) OR ((((triple8) -> rule6) ((triple5 ((triple8) -> rule6)) -> rule5)) -> rule2) OR ((((triple8) -> rule6) ((((triple9) -> rule4) ((triple8) -> rule6)) -> rule5)) -> rule2) OR ((((triple8) -> rule6) ((((triple9 triple8) -> rule7) ((triple8) -> rule6)) -> rule5)) -> rule2))] Harry is furry.[(((((triple13) -> rule4) triple14) -> rule5) OR ((((triple13 triple11) -> rule7) triple14) -> rule5) OR ((((triple13) -> rule4) ((triple11) -> rule6)) -> rule5) OR ((((triple13) -> rule4) ((triple12) -> rule8)) -> rule5) OR ((((triple13 triple11) -> rule7) ((triple11) -> rule6)) -> rule5) OR ((((triple13 triple11) -> rule7) ((triple12) -> rule8)) -> rule5) OR ((((((triple12) -> rule9)) -> rule4) triple14) -> rule5) OR ((((((triple12) -> rule9) triple11) -> rule7) triple14) -> rule5) OR ((((((triple12) -> rule9)) -> rule4) ((triple11) -> rule6)) -> rule5) OR ((((((triple12) -> rule9)) -> rule4) ((triple12) -> rule8)) -> rule5) OR ((((((triple12) -> rule9) triple11) -> rule7) ((triple11) -> rule6)) -> rule5) OR ((((((triple12) -> rule9) triple11) -> rule7) ((triple12) -> rule8)) -> rule5))] @3: Dave is quiet.[(((((triple4) -> rule6) ((triple3 ((triple4) -> rule6)) -> rule5)) -> rule2))] @4: Dave is round.[(((((((triple4) -> rule6) ((triple3 ((triple4) -> rule6)) -> rule5)) -> rule2)) -> rule9))] @5: Dave is green.[(((((((((triple4) -> rule6) ((triple3 ((triple4) -> rule6)) -> rule5)) -> rule2)) -> rule9)) -> rule1))]