Bob is green. Bob is kind. Bob is round. Bob is young. Dave is furry. Dave is green. Dave is kind. Erin is kind. Erin is young. Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is young. If Bob is kind and Bob is young then Bob is round. If something is green and quiet then it is furry. All kind, green things are quiet. If Fiona is cold then Fiona is green. If something is young then it is quiet. If Bob is quiet and Bob is kind then Bob is young. All quiet things are cold. If something is furry then it is quiet.
Bob is quiet.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is round.[(triple3 OR ((triple2 triple4) -> rule1) OR ((triple2 ((((triple2 triple1) -> rule3) triple2) -> rule6)) -> rule1))] Bob is young.[(triple4 OR ((((triple2 triple1) -> rule3) triple2) -> rule6))] Dave is furry.[(triple5 OR ((triple6 ((triple7 triple6) -> rule3)) -> rule2))] Dave is green.[(triple6)] Dave is kind.[(triple7)] Erin is kind.[(triple8)] Erin is young.[(triple9)] Fiona is cold.[(triple10 OR ((triple14) -> rule7) OR ((((triple11) -> rule8)) -> rule7) OR ((((triple15) -> rule5)) -> rule7) OR ((((triple13 triple12) -> rule3)) -> rule7))] Fiona is furry.[(triple11 OR ((triple12 triple14) -> rule2) OR ((triple12 ((triple15) -> rule5)) -> rule2) OR ((triple12 ((triple13 triple12) -> rule3)) -> rule2) OR ((((triple10) -> rule4) triple14) -> rule2) OR ((((triple10) -> rule4) ((triple15) -> rule5)) -> rule2) OR ((((triple10) -> rule4) ((triple13 triple12) -> rule3)) -> rule2) OR ((triple12 ((triple13 ((triple10) -> rule4)) -> rule3)) -> rule2) OR ((((((triple14) -> rule7)) -> rule4) triple14) -> rule2) OR ((((triple10) -> rule4) ((triple13 ((triple10) -> rule4)) -> rule3)) -> rule2) OR ((((((triple14) -> rule7)) -> rule4) ((triple15) -> rule5)) -> rule2) OR ((((((triple14) -> rule7)) -> rule4) ((triple13 triple12) -> rule3)) -> rule2) OR ((((((triple14) -> rule7)) -> rule4) ((triple13 ((triple10) -> rule4)) -> rule3)) -> rule2) OR ((((((((triple15) -> rule5)) -> rule7)) -> rule4) triple14) -> rule2) OR ((((((((triple15) -> rule5)) -> rule7)) -> rule4) ((triple15) -> rule5)) -> rule2) OR ((((((((triple15) -> rule5)) -> rule7)) -> rule4) ((triple13 triple12) -> rule3)) -> rule2) OR ((((((((triple15) -> rule5)) -> rule7)) -> rule4) ((triple13 ((triple10) -> rule4)) -> rule3)) -> rule2))] Fiona is green.[(triple12 OR ((triple10) -> rule4) OR ((((triple14) -> rule7)) -> rule4) OR ((((((triple11) -> rule8)) -> rule7)) -> rule4) OR ((((((triple15) -> rule5)) -> rule7)) -> rule4))] Fiona is kind.[(triple13)] Fiona is quiet.[(triple14 OR ((triple11) -> rule8) OR ((triple15) -> rule5) OR ((triple13 triple12) -> rule3) OR ((triple13 ((triple10) -> rule4)) -> rule3))] Fiona is young.[(triple15)] @1: Bob is quiet.[(((triple4) -> rule5) OR ((triple2 triple1) -> rule3))] Dave is quiet.[(((triple5) -> rule8) OR ((triple7 triple6) -> rule3))] Erin is quiet.[(((triple9) -> rule5))] @2: Bob is cold.[(((((triple4) -> rule5)) -> rule7) OR ((((triple2 triple1) -> rule3)) -> rule7))] Bob is furry.[(((triple1 ((triple4) -> rule5)) -> rule2) OR ((triple1 ((triple2 triple1) -> rule3)) -> rule2))] Dave is cold.[(((((triple5) -> rule8)) -> rule7) OR ((((triple7 triple6) -> rule3)) -> rule7))] Erin is cold.[(((((triple9) -> rule5)) -> rule7))]