Bob is big. Bob is blue. Bob is cold. Bob is quiet. Bob is rough. Bob is smart. Bob is white. Dave is rough. Fiona is blue. Harry is big. Harry is cold. If someone is blue then they are cold. If someone is big then they are white. If Bob is rough and Bob is blue then Bob is big. All blue, smart people are big. If someone is blue and rough then they are quiet. All smart people are blue. Cold people are rough. If someone is quiet then they are big.
Fiona is not quiet.
@0: Bob is big.[(triple1 OR ((triple4) -> rule8) OR ((triple2 triple6) -> rule4) OR ((triple5 triple2) -> rule3) OR ((((triple2 triple5) -> rule5)) -> rule8) OR ((triple5 ((triple6) -> rule6)) -> rule3) OR ((((triple3) -> rule7) triple2) -> rule3) OR ((((triple6) -> rule6) triple6) -> rule4) OR ((((triple3) -> rule7) ((triple6) -> rule6)) -> rule3) OR ((((triple2 ((triple3) -> rule7)) -> rule5)) -> rule8) OR ((((((triple6) -> rule6) triple5) -> rule5)) -> rule8) OR ((((((triple2) -> rule1)) -> rule7) triple2) -> rule3) OR ((((((triple6) -> rule6) ((triple3) -> rule7)) -> rule5)) -> rule8) OR ((((((triple2) -> rule1)) -> rule7) ((triple6) -> rule6)) -> rule3) OR ((((triple2 ((((triple2) -> rule1)) -> rule7)) -> rule5)) -> rule8) OR ((((((((triple6) -> rule6)) -> rule1)) -> rule7) triple2) -> rule3) OR ((((((triple6) -> rule6) ((((triple2) -> rule1)) -> rule7)) -> rule5)) -> rule8) OR ((((((((triple6) -> rule6)) -> rule1)) -> rule7) ((triple6) -> rule6)) -> rule3) OR ((((triple2 ((((((triple6) -> rule6)) -> rule1)) -> rule7)) -> rule5)) -> rule8) OR ((((((triple6) -> rule6) ((((((triple6) -> rule6)) -> rule1)) -> rule7)) -> rule5)) -> rule8))] Bob is blue.[(triple2 OR ((triple6) -> rule6))] Bob is cold.[(triple3 OR ((triple2) -> rule1) OR ((((triple6) -> rule6)) -> rule1))] Bob is quiet.[(triple4 OR ((triple2 triple5) -> rule5) OR ((triple2 ((triple3) -> rule7)) -> rule5) OR ((((triple6) -> rule6) triple5) -> rule5) OR ((((triple6) -> rule6) ((triple3) -> rule7)) -> rule5) OR ((triple2 ((((triple2) -> rule1)) -> rule7)) -> rule5) OR ((((triple6) -> rule6) ((((triple2) -> rule1)) -> rule7)) -> rule5) OR ((triple2 ((((((triple6) -> rule6)) -> rule1)) -> rule7)) -> rule5) OR ((((triple6) -> rule6) ((((((triple6) -> rule6)) -> rule1)) -> rule7)) -> rule5))] Bob is rough.[(triple5 OR ((triple3) -> rule7) OR ((((triple2) -> rule1)) -> rule7) OR ((((((triple6) -> rule6)) -> rule1)) -> rule7))] Bob is smart.[(triple6)] Bob is white.[(triple7 OR ((triple1) -> rule2) OR ((((triple4) -> rule8)) -> rule2) OR ((((triple2 triple6) -> rule4)) -> rule2) OR ((((triple5 triple2) -> rule3)) -> rule2) OR ((((((triple2 triple5) -> rule5)) -> rule8)) -> rule2) OR ((((triple5 ((triple6) -> rule6)) -> rule3)) -> rule2) OR ((((((triple3) -> rule7) triple2) -> rule3)) -> rule2) OR ((((((triple6) -> rule6) triple6) -> rule4)) -> rule2) OR ((((((triple3) -> rule7) ((triple6) -> rule6)) -> rule3)) -> rule2) OR ((((((triple2 ((triple3) -> rule7)) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple6) -> rule6) triple5) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple2) -> rule1)) -> rule7) triple2) -> rule3)) -> rule2) OR ((((((((triple6) -> rule6) ((triple3) -> rule7)) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple2) -> rule1)) -> rule7) ((triple6) -> rule6)) -> rule3)) -> rule2) OR ((((((triple2 ((((triple2) -> rule1)) -> rule7)) -> rule5)) -> rule8)) -> rule2) OR ((((((((((triple6) -> rule6)) -> rule1)) -> rule7) triple2) -> rule3)) -> rule2) OR ((((((((triple6) -> rule6) ((((triple2) -> rule1)) -> rule7)) -> rule5)) -> rule8)) -> rule2) OR ((((((((((triple6) -> rule6)) -> rule1)) -> rule7) ((triple6) -> rule6)) -> rule3)) -> rule2) OR ((((((triple2 ((((((triple6) -> rule6)) -> rule1)) -> rule7)) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple6) -> rule6) ((((((triple6) -> rule6)) -> rule1)) -> rule7)) -> rule5)) -> rule8)) -> rule2))] Dave is rough.[(triple8)] Fiona is blue.[(triple9)] Harry is big.[(triple10)] Harry is cold.[(triple11)] @1: Fiona is cold.[(((triple9) -> rule1))] Harry is rough.[(((triple11) -> rule7))] Harry is white.[(((triple10) -> rule2))] @2: Fiona is rough.[(((((triple9) -> rule1)) -> rule7))] @3: Fiona is quiet.[(((triple9 ((((triple9) -> rule1)) -> rule7)) -> rule5))] @4: Fiona is big.[(((((triple9 ((((triple9) -> rule1)) -> rule7)) -> rule5)) -> rule8))] @5: Fiona is white.[(((((((triple9 ((((triple9) -> rule1)) -> rule7)) -> rule5)) -> rule8)) -> rule2))]