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