Bob is big. Bob is red. Harry is young. If someone is nice then they are round. All quiet people are young. If someone is young and red then they are white. Red, big people are nice. If someone is quiet then they are white. Young people are nice. If someone is round then they are quiet. Round, red people are white.
Bob is white.
@0: Bob is big.[(triple1)] Bob is red.[(triple2)] Harry is young.[(triple3)] @1: Bob is nice.[(((triple2 triple1) -> rule4))] Harry is nice.[(((triple3) -> rule6))] @2: Bob is round.[(((((triple2 triple1) -> rule4)) -> rule1))] Harry is round.[(((((triple3) -> rule6)) -> rule1))] @3: Bob is quiet.[(((((((triple2 triple1) -> rule4)) -> rule1)) -> rule7))] Bob is white.[(((((((triple2 triple1) -> rule4)) -> rule1) triple2) -> rule8) OR ((((((((triple2 triple1) -> rule4)) -> rule1)) -> rule7)) -> rule5) OR ((((((((((triple2 triple1) -> rule4)) -> rule1)) -> rule7)) -> rule2) triple2) -> rule3))] Harry is quiet.[(((((((triple3) -> rule6)) -> rule1)) -> rule7))] @4: Bob is young.[(((((((((triple2 triple1) -> rule4)) -> rule1)) -> rule7)) -> rule2))] Harry is white.[(((((((((triple3) -> rule6)) -> rule1)) -> rule7)) -> rule5))]