Bob is furry. Bob is rough. Bob is young. Dave is furry. Dave is young. Fiona is cold. Fiona is kind. Fiona is rough. Fiona is white. Harry is kind. Harry is rough. If someone is kind then they are rough. All round people are cold. If someone is kind then they are furry. If someone is cold and rough then they are young. If someone is white and kind then they are round. Furry people are cold. If Bob is round and Bob is rough then Bob is kind. If someone is young then they are white. If someone is young then they are kind.
Bob is white.
@0: Bob is furry.[(triple1 OR ((((triple3) -> rule9)) -> rule3))] Bob is rough.[(triple2 OR ((((triple3) -> rule9)) -> rule1))] Bob is young.[(triple3 OR ((((triple1) -> rule6) triple2) -> rule4))] Dave is furry.[(triple4 OR ((((triple5) -> rule9)) -> rule3))] Dave is young.[(triple5)] Fiona is cold.[(triple6 OR ((((triple7) -> rule3)) -> rule6) OR ((((triple9 triple7) -> rule5)) -> rule2))] Fiona is kind.[(triple7 OR ((((triple6 triple8) -> rule4)) -> rule9))] Fiona is rough.[(triple8 OR ((triple7) -> rule1))] Fiona is white.[(triple9 OR ((((triple6 triple8) -> rule4)) -> rule8) OR ((((triple6 ((triple7) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple7) -> rule3)) -> rule6) triple8) -> rule4)) -> rule8) OR ((((((((triple7) -> rule3)) -> rule6) ((triple7) -> rule1)) -> rule4)) -> rule8))] Harry is kind.[(triple10)] Harry is rough.[(triple11 OR ((triple10) -> rule1))] @1: Bob is cold.[(((triple1) -> rule6) OR ((((((triple3) -> rule9)) -> rule3)) -> rule6) OR ((((((triple3) -> rule8) ((triple3) -> rule9)) -> rule5)) -> rule2))] Bob is kind.[(((triple3) -> rule9) OR ((((((triple1) -> rule6) triple2) -> rule4)) -> rule9))] Bob is white.[(((triple3) -> rule8) OR ((((((triple1) -> rule6) triple2) -> rule4)) -> rule8))] Dave is cold.[(((triple4) -> rule6) OR ((((((triple5) -> rule9)) -> rule3)) -> rule6) OR ((((((triple5) -> rule8) ((triple5) -> rule9)) -> rule5)) -> rule2))] Dave is kind.[(((triple5) -> rule9))] Dave is white.[(((triple5) -> rule8))] Fiona is furry.[(((triple7) -> rule3) OR ((((((triple6 triple8) -> rule4)) -> rule9)) -> rule3))] Fiona is round.[(((triple9 triple7) -> rule5) OR ((triple9 ((((triple6 triple8) -> rule4)) -> rule9)) -> rule5) OR ((((((triple6 triple8) -> rule4)) -> rule8) triple7) -> rule5) OR ((((((triple6 triple8) -> rule4)) -> rule8) ((((triple6 triple8) -> rule4)) -> rule9)) -> rule5) OR ((((((triple6 ((triple7) -> rule1)) -> rule4)) -> rule8) triple7) -> rule5) OR ((((((triple6 ((triple7) -> rule1)) -> rule4)) -> rule8) ((((triple6 triple8) -> rule4)) -> rule9)) -> rule5) OR ((((((((((triple7) -> rule3)) -> rule6) triple8) -> rule4)) -> rule8) triple7) -> rule5) OR ((((((((((triple7) -> rule3)) -> rule6) ((triple7) -> rule1)) -> rule4)) -> rule8) triple7) -> rule5) OR ((((((((((triple7) -> rule3)) -> rule6) triple8) -> rule4)) -> rule8) ((((triple6 triple8) -> rule4)) -> rule9)) -> rule5) OR ((((((((((triple7) -> rule3)) -> rule6) ((triple7) -> rule1)) -> rule4)) -> rule8) ((((triple6 triple8) -> rule4)) -> rule9)) -> rule5))] Fiona is young.[(((triple6 triple8) -> rule4) OR ((triple6 ((triple7) -> rule1)) -> rule4) OR ((((((triple7) -> rule3)) -> rule6) triple8) -> rule4) OR ((((((triple9 triple7) -> rule5)) -> rule2) triple8) -> rule4) OR ((((((triple7) -> rule3)) -> rule6) ((triple7) -> rule1)) -> rule4) OR ((((((triple9 triple7) -> rule5)) -> rule2) ((triple7) -> rule1)) -> rule4))] Harry is furry.[(((triple10) -> rule3))] @2: Bob is round.[(((((triple3) -> rule8) ((triple3) -> rule9)) -> rule5) OR ((((triple3) -> rule8) ((((((triple1) -> rule6) triple2) -> rule4)) -> rule9)) -> rule5) OR ((((((((triple1) -> rule6) triple2) -> rule4)) -> rule8) ((triple3) -> rule9)) -> rule5) OR ((((((((triple1) -> rule6) triple2) -> rule4)) -> rule8) ((((((triple1) -> rule6) triple2) -> rule4)) -> rule9)) -> rule5))] Dave is rough.[(((((triple5) -> rule9)) -> rule1))] Dave is round.[(((((triple5) -> rule8) ((triple5) -> rule9)) -> rule5))] Harry is cold.[(((((triple10) -> rule3)) -> rule6))] @3: Harry is young.[(((((((triple10) -> rule3)) -> rule6) triple11) -> rule4) OR ((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule1)) -> rule4))] @4: Harry is white.[(((((((((triple10) -> rule3)) -> rule6) triple11) -> rule4)) -> rule8) OR ((((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule1)) -> rule4)) -> rule8))] @5: Harry is round.[(((((((((((triple10) -> rule3)) -> rule6) triple11) -> rule4)) -> rule8) triple10) -> rule5) OR ((((((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule1)) -> rule4)) -> rule8) triple10) -> rule5))]