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