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