Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is rough. Bob is white. Bob is young. Harry is green. Harry is kind. Harry is quiet. Harry is red. Harry is rough. Harry is white. Harry is young. All rough people are green. If someone is young and red then they are quiet. If someone is kind and white then they are rough. Quiet, rough people are white. If Bob is rough then Bob is kind. If someone is kind then they are red. All young people are rough. If Harry is green and Harry is kind then Harry is quiet.
Harry is quiet.
@0: Bob is green.[(triple1 OR ((triple5) -> rule1) OR ((((triple7) -> rule7)) -> rule1) OR ((((triple2 triple6) -> rule3)) -> rule1))] Bob is kind.[(triple2 OR ((triple5) -> rule5) OR ((((triple7) -> rule7)) -> rule5))] Bob is quiet.[(triple3 OR ((triple7 triple4) -> rule2) OR ((triple7 ((triple2) -> rule6)) -> rule2) OR ((triple7 ((((triple5) -> rule5)) -> rule6)) -> rule2) OR ((triple7 ((((((triple7) -> rule7)) -> rule5)) -> rule6)) -> rule2))] Bob is red.[(triple4 OR ((triple2) -> rule6) OR ((((triple5) -> rule5)) -> rule6) OR ((((((triple7) -> rule7)) -> rule5)) -> rule6))] Bob is rough.[(triple5 OR ((triple7) -> rule7) OR ((triple2 triple6) -> rule3))] Bob is white.[(triple6 OR ((triple3 triple5) -> rule4) OR ((triple3 ((triple7) -> rule7)) -> rule4) OR ((((triple7 triple4) -> rule2) triple5) -> rule4) OR ((((triple7 triple4) -> rule2) ((triple7) -> rule7)) -> rule4) OR ((((triple7 ((triple2) -> rule6)) -> rule2) triple5) -> rule4) OR ((((triple7 ((triple2) -> rule6)) -> rule2) ((triple7) -> rule7)) -> rule4) OR ((((triple7 ((((triple5) -> rule5)) -> rule6)) -> rule2) triple5) -> rule4) OR ((((triple7 ((((triple5) -> rule5)) -> rule6)) -> rule2) ((triple7) -> rule7)) -> rule4) OR ((((triple7 ((((((triple7) -> rule7)) -> rule5)) -> rule6)) -> rule2) triple5) -> rule4) OR ((((triple7 ((((((triple7) -> rule7)) -> rule5)) -> rule6)) -> rule2) ((triple7) -> rule7)) -> rule4))] Bob is young.[(triple7)] Harry is green.[(triple8 OR ((triple12) -> rule1) OR ((((triple14) -> rule7)) -> rule1) OR ((((triple9 triple13) -> rule3)) -> rule1))] Harry is kind.[(triple9)] Harry is quiet.[(triple10 OR ((triple14 triple11) -> rule2) OR ((triple8 triple9) -> rule8) OR ((triple14 ((triple9) -> rule6)) -> rule2) OR ((((triple12) -> rule1) triple9) -> rule8) OR ((((((triple14) -> rule7)) -> rule1) triple9) -> rule8) OR ((((((triple9 triple13) -> rule3)) -> rule1) triple9) -> rule8))] Harry is red.[(triple11 OR ((triple9) -> rule6))] Harry is rough.[(triple12 OR ((triple14) -> rule7) OR ((triple9 triple13) -> rule3))] Harry is white.[(triple13 OR ((triple10 triple12) -> rule4) OR ((triple10 ((triple14) -> rule7)) -> rule4) OR ((((triple14 triple11) -> rule2) triple12) -> rule4) OR ((((triple8 triple9) -> rule8) triple12) -> rule4) OR ((((triple14 triple11) -> rule2) ((triple14) -> rule7)) -> rule4) OR ((((triple8 triple9) -> rule8) ((triple14) -> rule7)) -> rule4) OR ((((triple14 ((triple9) -> rule6)) -> rule2) triple12) -> rule4) OR ((((((triple12) -> rule1) triple9) -> rule8) triple12) -> rule4) OR ((((triple14 ((triple9) -> rule6)) -> rule2) ((triple14) -> rule7)) -> rule4) OR ((((((triple12) -> rule1) triple9) -> rule8) ((triple14) -> rule7)) -> rule4) OR ((((((((triple14) -> rule7)) -> rule1) triple9) -> rule8) triple12) -> rule4) OR ((((((((triple14) -> rule7)) -> rule1) triple9) -> rule8) ((triple14) -> rule7)) -> rule4))] Harry is young.[(triple14)]