Bob is cold. Bob is quiet. Bob is red. Bob is rough. Bob is young. Dave is cold. Dave is furry. Dave is red. Fiona is cold. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is young. Harry is cold. Harry is furry. Harry is young. If someone is furry then they are young. Rough, young people are quiet. If someone is furry then they are cold. Furry, rough people are cold. Young people are rough. Rough, red people are furry. If Harry is furry then Harry is young. All round, young people are rough.
Fiona is not furry.
@0: Bob is cold.[(triple1 OR ((((triple4 triple3) -> rule6)) -> rule3) OR ((((triple4 triple3) -> rule6) triple4) -> rule4) OR ((((triple4 triple3) -> rule6) ((triple5) -> rule5)) -> rule4) OR ((((((triple5) -> rule5) triple3) -> rule6)) -> rule3) OR ((((((triple5) -> rule5) triple3) -> rule6) triple4) -> rule4) OR ((((((triple5) -> rule5) triple3) -> rule6) ((triple5) -> rule5)) -> rule4))] Bob is quiet.[(triple2 OR ((triple4 triple5) -> rule2) OR ((((triple5) -> rule5) triple5) -> rule2) OR ((triple4 ((((triple4 triple3) -> rule6)) -> rule1)) -> rule2) OR ((((triple5) -> rule5) ((((triple4 triple3) -> rule6)) -> rule1)) -> rule2))] Bob is red.[(triple3)] Bob is rough.[(triple4 OR ((triple5) -> rule5))] Bob is young.[(triple5 OR ((((triple4 triple3) -> rule6)) -> rule1))] Dave is cold.[(triple6 OR ((triple7) -> rule3) OR ((triple7 ((((triple7) -> rule1)) -> rule5)) -> rule4))] Dave is furry.[(triple7)] Dave is red.[(triple8)] Fiona is cold.[(triple9 OR ((((triple12 triple11) -> rule6)) -> rule3) OR ((((triple12 triple11) -> rule6) triple12) -> rule4) OR ((((triple12 triple11) -> rule6) ((triple13) -> rule5)) -> rule4) OR ((((((triple13) -> rule5) triple11) -> rule6)) -> rule3) OR ((((((triple13) -> rule5) triple11) -> rule6) triple12) -> rule4) OR ((((((triple13) -> rule5) triple11) -> rule6) ((triple13) -> rule5)) -> rule4))] Fiona is quiet.[(triple10 OR ((triple12 triple13) -> rule2) OR ((((triple13) -> rule5) triple13) -> rule2) OR ((triple12 ((((triple12 triple11) -> rule6)) -> rule1)) -> rule2) OR ((((triple13) -> rule5) ((((triple12 triple11) -> rule6)) -> rule1)) -> rule2))] Fiona is red.[(triple11)] Fiona is rough.[(triple12 OR ((triple13) -> rule5))] Fiona is young.[(triple13 OR ((((triple12 triple11) -> rule6)) -> rule1))] Harry is cold.[(triple14 OR ((triple15) -> rule3) OR ((triple15 ((triple16) -> rule5)) -> rule4) OR ((triple15 ((((triple15) -> rule1)) -> rule5)) -> rule4) OR ((triple15 ((((triple15) -> rule7)) -> rule5)) -> rule4))] Harry is furry.[(triple15)] Harry is young.[(triple16 OR ((triple15) -> rule1) OR ((triple15) -> rule7))] @1: Bob is furry.[(((triple4 triple3) -> rule6) OR ((((triple5) -> rule5) triple3) -> rule6))] Dave is young.[(((triple7) -> rule1))] Fiona is furry.[(((triple12 triple11) -> rule6) OR ((((triple13) -> rule5) triple11) -> rule6))] Harry is rough.[(((triple16) -> rule5) OR ((((triple15) -> rule1)) -> rule5) OR ((((triple15) -> rule7)) -> rule5))] @2: Dave is rough.[(((((triple7) -> rule1)) -> rule5))] Harry is quiet.[(((((triple16) -> rule5) triple16) -> rule2) OR ((((triple16) -> rule5) ((triple15) -> rule1)) -> rule2) OR ((((triple16) -> rule5) ((triple15) -> rule7)) -> rule2) OR ((((((triple15) -> rule1)) -> rule5) triple16) -> rule2) OR ((((((triple15) -> rule7)) -> rule5) triple16) -> rule2) OR ((((((triple15) -> rule1)) -> rule5) ((triple15) -> rule1)) -> rule2) OR ((((((triple15) -> rule1)) -> rule5) ((triple15) -> rule7)) -> rule2) OR ((((((triple15) -> rule7)) -> rule5) ((triple15) -> rule1)) -> rule2) OR ((((((triple15) -> rule7)) -> rule5) ((triple15) -> rule7)) -> rule2))] @3: Dave is quiet.[(((((((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule2))]