Bob is big. Bob is quiet. Bob is smart. Bob is white. Bob is young. Dave is white. Fiona is blue. Fiona is green. Fiona is quiet. Fiona is smart. Fiona is white. Fiona is young. Harry is blue. Harry is green. Harry is young. All blue, quiet things are big. All blue things are green. If something is young then it is smart. All white, green things are young. All blue things are smart. Young things are white. All blue, smart things are quiet. Young, white things are big.
Harry is not green.
@0: Bob is big.[(triple1 OR ((triple5 triple4) -> rule8) OR ((triple5 ((triple5) -> rule6)) -> rule8))] Bob is quiet.[(triple2)] Bob is smart.[(triple3 OR ((triple5) -> rule3))] Bob is white.[(triple4 OR ((triple5) -> rule6))] Bob is young.[(triple5)] Dave is white.[(triple6)] Fiona is blue.[(triple7)] Fiona is green.[(triple8 OR ((triple7) -> rule2))] Fiona is quiet.[(triple9 OR ((triple7 triple10) -> rule7) OR ((triple7 ((triple12) -> rule3)) -> rule7) OR ((triple7 ((triple7) -> rule5)) -> rule7) OR ((triple7 ((((triple11 triple8) -> rule4)) -> rule3)) -> rule7) OR ((triple7 ((((triple11 ((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule7))] Fiona is smart.[(triple10 OR ((triple12) -> rule3) OR ((triple7) -> rule5) OR ((((triple11 triple8) -> rule4)) -> rule3) OR ((((triple11 ((triple7) -> rule2)) -> rule4)) -> rule3))] Fiona is white.[(triple11 OR ((triple12) -> rule6))] Fiona is young.[(triple12 OR ((triple11 triple8) -> rule4) OR ((triple11 ((triple7) -> rule2)) -> rule4))] Harry is blue.[(triple13)] Harry is green.[(triple14 OR ((triple13) -> rule2))] Harry is young.[(triple15)] @1: Fiona is big.[(((triple12 triple11) -> rule8) OR ((triple7 triple9) -> rule1) OR ((triple12 ((triple12) -> rule6)) -> rule8) OR ((triple7 ((triple7 triple10) -> rule7)) -> rule1) OR ((((triple11 triple8) -> rule4) triple11) -> rule8) OR ((((triple11 triple8) -> rule4) ((triple12) -> rule6)) -> rule8) OR ((triple7 ((triple7 ((triple12) -> rule3)) -> rule7)) -> rule1) OR ((triple7 ((triple7 ((triple7) -> rule5)) -> rule7)) -> rule1) OR ((((triple11 ((triple7) -> rule2)) -> rule4) triple11) -> rule8) OR ((((triple11 ((triple7) -> rule2)) -> rule4) ((triple12) -> rule6)) -> rule8) OR ((triple7 ((triple7 ((((triple11 triple8) -> rule4)) -> rule3)) -> rule7)) -> rule1) OR ((triple7 ((triple7 ((((triple11 ((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule7)) -> rule1))] Harry is smart.[(((triple13) -> rule5) OR ((triple15) -> rule3))] Harry is white.[(((triple15) -> rule6))] @2: Harry is big.[(((triple15 ((triple15) -> rule6)) -> rule8) OR ((triple13 ((triple13 ((triple13) -> rule5)) -> rule7)) -> rule1) OR ((triple13 ((triple13 ((triple15) -> rule3)) -> rule7)) -> rule1))] Harry is quiet.[(((triple13 ((triple13) -> rule5)) -> rule7) OR ((triple13 ((triple15) -> rule3)) -> rule7))]