Bob is furry. Bob is green. Bob is quiet. Bob is smart. Fiona is green. Fiona is kind. Gary is big. Gary is kind. Harry is big. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is smart. If someone is quiet then they are smart. If Bob is quiet then Bob is big. Furry people are green. If Gary is big and Gary is kind then Gary is blue. All furry, kind people are big. If someone is quiet and big then they are blue. All furry people are quiet. If someone is furry then they are big.
Fiona is furry.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2 OR ((triple1) -> rule3))] Bob is quiet.[(triple3 OR ((triple1) -> rule7))] Bob is smart.[(triple4 OR ((triple3) -> rule1) OR ((((triple1) -> rule7)) -> rule1))] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Gary is big.[(triple7)] Gary is kind.[(triple8)] Harry is big.[(triple9 OR ((triple11) -> rule8) OR ((triple11 triple13) -> rule5))] Harry is blue.[(triple10 OR ((triple14 triple9) -> rule6) OR ((triple14 ((triple11) -> rule8)) -> rule6) OR ((triple14 ((triple11 triple13) -> rule5)) -> rule6) OR ((((triple11) -> rule7) triple9) -> rule6) OR ((((triple11) -> rule7) ((triple11) -> rule8)) -> rule6) OR ((((triple11) -> rule7) ((triple11 triple13) -> rule5)) -> rule6))] Harry is furry.[(triple11)] Harry is green.[(triple12 OR ((triple11) -> rule3))] Harry is kind.[(triple13)] Harry is quiet.[(triple14 OR ((triple11) -> rule7))] Harry is smart.[(triple15 OR ((triple14) -> rule1) OR ((((triple11) -> rule7)) -> rule1))] @1: Bob is big.[(((triple1) -> rule8) OR ((triple3) -> rule2) OR ((((triple1) -> rule7)) -> rule2))] Gary is blue.[(((triple7 triple8) -> rule4))] @2: Bob is blue.[(((triple3 ((triple1) -> rule8)) -> rule6) OR ((triple3 ((triple3) -> rule2)) -> rule6) OR ((((triple1) -> rule7) ((triple1) -> rule8)) -> rule6) OR ((((triple1) -> rule7) ((triple3) -> rule2)) -> rule6) OR ((triple3 ((((triple1) -> rule7)) -> rule2)) -> rule6) OR ((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule2)) -> rule6))]