Bob is big. Bob is blue. Bob is quiet. Bob is rough. Bob is round. Bob is young. Erin is big. Erin is blue. Erin is quiet. Erin is rough. Erin is round. Erin is young. Harry is big. Harry is quiet. Harry is round. Harry is young. Quiet, big people are young. All blue, big people are young. All big, rough people are cold. If someone is big and blue then they are round. Cold people are blue. If someone is round and quiet then they are big. Rough, young people are cold. All big, blue people are quiet.
Harry is rough.
@0: Bob is big.[(triple1 OR ((triple5 triple3) -> rule6))] Bob is blue.[(triple2 OR ((((triple1 triple4) -> rule3)) -> rule5) OR ((((triple4 triple6) -> rule7)) -> rule5) OR ((((triple4 ((triple3 triple1) -> rule1)) -> rule7)) -> rule5) OR ((((((triple5 triple3) -> rule6) triple4) -> rule3)) -> rule5) OR ((((triple4 ((triple3 ((triple5 triple3) -> rule6)) -> rule1)) -> rule7)) -> rule5))] Bob is quiet.[(triple3 OR ((triple1 triple2) -> rule8) OR ((triple1 ((((triple1 triple4) -> rule3)) -> rule5)) -> rule8) OR ((triple1 ((((triple4 triple6) -> rule7)) -> rule5)) -> rule8))] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple1 triple2) -> rule4) OR ((triple1 ((((triple1 triple4) -> rule3)) -> rule5)) -> rule4) OR ((triple1 ((((triple4 triple6) -> rule7)) -> rule5)) -> rule4) OR ((triple1 ((((triple4 ((triple3 triple1) -> rule1)) -> rule7)) -> rule5)) -> rule4))] Bob is young.[(triple6 OR ((triple2 triple1) -> rule2) OR ((triple3 triple1) -> rule1) OR ((triple2 ((triple5 triple3) -> rule6)) -> rule2) OR ((triple3 ((triple5 triple3) -> rule6)) -> rule1) OR ((((triple1 triple2) -> rule8) triple1) -> rule1) OR ((((triple1 triple2) -> rule8) ((triple5 triple3) -> rule6)) -> rule1) OR ((((((triple1 triple4) -> rule3)) -> rule5) triple1) -> rule2) OR ((((((triple1 triple4) -> rule3)) -> rule5) ((triple5 triple3) -> rule6)) -> rule2) OR ((((((((triple5 triple3) -> rule6) triple4) -> rule3)) -> rule5) triple1) -> rule2) OR ((((triple1 ((((triple1 triple4) -> rule3)) -> rule5)) -> rule8) triple1) -> rule1) OR ((((((((triple5 triple3) -> rule6) triple4) -> rule3)) -> rule5) ((triple5 triple3) -> rule6)) -> rule2) OR ((((triple1 ((((triple1 triple4) -> rule3)) -> rule5)) -> rule8) ((triple5 triple3) -> rule6)) -> rule1))] Erin is big.[(triple7 OR ((triple11 triple9) -> rule6))] Erin is blue.[(triple8 OR ((((triple10 triple12) -> rule7)) -> rule5) OR ((((triple7 triple10) -> rule3)) -> rule5) OR ((((triple10 ((triple9 triple7) -> rule1)) -> rule7)) -> rule5) OR ((((((triple11 triple9) -> rule6) triple10) -> rule3)) -> rule5) OR ((((triple10 ((triple9 ((triple11 triple9) -> rule6)) -> rule1)) -> rule7)) -> rule5))] Erin is quiet.[(triple9 OR ((triple7 triple8) -> rule8) OR ((triple7 ((((triple10 triple12) -> rule7)) -> rule5)) -> rule8) OR ((triple7 ((((triple7 triple10) -> rule3)) -> rule5)) -> rule8))] Erin is rough.[(triple10)] Erin is round.[(triple11 OR ((triple7 triple8) -> rule4) OR ((triple7 ((((triple10 triple12) -> rule7)) -> rule5)) -> rule4) OR ((triple7 ((((triple7 triple10) -> rule3)) -> rule5)) -> rule4) OR ((triple7 ((((triple10 ((triple9 triple7) -> rule1)) -> rule7)) -> rule5)) -> rule4))] Erin is young.[(triple12 OR ((triple8 triple7) -> rule2) OR ((triple9 triple7) -> rule1) OR ((triple8 ((triple11 triple9) -> rule6)) -> rule2) OR ((triple9 ((triple11 triple9) -> rule6)) -> rule1) OR ((((triple7 triple8) -> rule8) triple7) -> rule1) OR ((((triple7 triple8) -> rule8) ((triple11 triple9) -> rule6)) -> rule1) OR ((((((triple7 triple10) -> rule3)) -> rule5) triple7) -> rule2) OR ((((((triple7 triple10) -> rule3)) -> rule5) ((triple11 triple9) -> rule6)) -> rule2) OR ((((((((triple11 triple9) -> rule6) triple10) -> rule3)) -> rule5) triple7) -> rule2) OR ((((triple7 ((((triple7 triple10) -> rule3)) -> rule5)) -> rule8) triple7) -> rule1) OR ((((((((triple11 triple9) -> rule6) triple10) -> rule3)) -> rule5) ((triple11 triple9) -> rule6)) -> rule2) OR ((((triple7 ((((triple7 triple10) -> rule3)) -> rule5)) -> rule8) ((triple11 triple9) -> rule6)) -> rule1))] Harry is big.[(triple13 OR ((triple15 triple14) -> rule6))] Harry is quiet.[(triple14)] Harry is round.[(triple15)] Harry is young.[(triple16 OR ((triple14 triple13) -> rule1) OR ((triple14 ((triple15 triple14) -> rule6)) -> rule1))] @1: Bob is cold.[(((triple1 triple4) -> rule3) OR ((triple4 triple6) -> rule7) OR ((triple4 ((triple2 triple1) -> rule2)) -> rule7) OR ((triple4 ((triple3 triple1) -> rule1)) -> rule7) OR ((((triple5 triple3) -> rule6) triple4) -> rule3) OR ((triple4 ((triple2 ((triple5 triple3) -> rule6)) -> rule2)) -> rule7) OR ((triple4 ((triple3 ((triple5 triple3) -> rule6)) -> rule1)) -> rule7) OR ((triple4 ((((triple1 triple2) -> rule8) triple1) -> rule1)) -> rule7) OR ((triple4 ((((triple1 triple2) -> rule8) ((triple5 triple3) -> rule6)) -> rule1)) -> rule7))] Erin is cold.[(((triple10 triple12) -> rule7) OR ((triple7 triple10) -> rule3) OR ((triple10 ((triple8 triple7) -> rule2)) -> rule7) OR ((triple10 ((triple9 triple7) -> rule1)) -> rule7) OR ((((triple11 triple9) -> rule6) triple10) -> rule3) OR ((triple10 ((triple8 ((triple11 triple9) -> rule6)) -> rule2)) -> rule7) OR ((triple10 ((triple9 ((triple11 triple9) -> rule6)) -> rule1)) -> rule7) OR ((triple10 ((((triple7 triple8) -> rule8) triple7) -> rule1)) -> rule7) OR ((triple10 ((((triple7 triple8) -> rule8) ((triple11 triple9) -> rule6)) -> rule1)) -> rule7))]