Bob is big. Bob is blue. Bob is furry. Dave is big. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is rough. Fiona is big. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is rough. Harry is green. Harry is rough. If someone is rough then they are kind. If Fiona is rough then Fiona is blue. All kind people are rough. If someone is big then they are green. Furry, big people are rough. Big, blue people are kind. All rough, quiet people are blue. Blue, rough people are furry.
Harry is kind.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple2 ((((triple1 triple2) -> rule6)) -> rule3)) -> rule8))] Dave is big.[(triple4)] Dave is blue.[(triple5)] Dave is furry.[(triple6 OR ((triple5 triple9) -> rule8) OR ((triple5 ((triple8) -> rule3)) -> rule8) OR ((triple5 ((((triple4 triple5) -> rule6)) -> rule3)) -> rule8))] Dave is green.[(triple7 OR ((triple4) -> rule4))] Dave is kind.[(triple8 OR ((triple9) -> rule1) OR ((triple4 triple5) -> rule6) OR ((((triple6 triple4) -> rule5)) -> rule1))] Dave is rough.[(triple9 OR ((triple8) -> rule3) OR ((triple6 triple4) -> rule5) OR ((((triple4 triple5) -> rule6)) -> rule3))] Fiona is big.[(triple10)] Fiona is green.[(triple11 OR ((triple10) -> rule4))] Fiona is kind.[(triple12 OR ((triple14) -> rule1) OR ((triple10 ((triple14) -> rule2)) -> rule6) OR ((triple10 ((triple14 triple13) -> rule7)) -> rule6))] Fiona is quiet.[(triple13)] Fiona is rough.[(triple14 OR ((triple12) -> rule3))] Harry is green.[(triple15)] Harry is rough.[(triple16)] @1: Bob is green.[(((triple1) -> rule4))] Bob is kind.[(((triple1 triple2) -> rule6) OR ((((triple3 triple1) -> rule5)) -> rule1))] Bob is rough.[(((triple3 triple1) -> rule5) OR ((((triple1 triple2) -> rule6)) -> rule3))] Fiona is blue.[(((triple14) -> rule2) OR ((triple14 triple13) -> rule7) OR ((((triple12) -> rule3)) -> rule2) OR ((((triple12) -> rule3) triple13) -> rule7))] Harry is kind.[(((triple16) -> rule1))] @2: Fiona is furry.[(((((triple14) -> rule2) triple14) -> rule8) OR ((((triple14 triple13) -> rule7) triple14) -> rule8) OR ((((triple14) -> rule2) ((triple12) -> rule3)) -> rule8) OR ((((triple14 triple13) -> rule7) ((triple12) -> rule3)) -> rule8) OR ((((((triple12) -> rule3)) -> rule2) triple14) -> rule8) OR ((((((triple12) -> rule3) triple13) -> rule7) triple14) -> rule8) OR ((((((triple12) -> rule3)) -> rule2) ((triple12) -> rule3)) -> rule8) OR ((((((triple12) -> rule3) triple13) -> rule7) ((triple12) -> rule3)) -> rule8))]