Bob is big. Bob is nice. Bob is quiet. Bob is red. Fiona is cold. Fiona is red. Gary is nice. Gary is red. Gary is white. Gary is young. Harry is big. Harry is red. All quiet, cold things are white. If something is white and red then it is nice. If something is red and big then it is cold. Cold, red things are white. All white, big things are quiet. Nice things are white. Nice things are red. All red, quiet things are big.
Bob is not red.
@0: Bob is big.[(triple1 OR ((triple4 triple3) -> rule8) OR ((((triple2) -> rule7) triple3) -> rule8))] Bob is nice.[(triple2 OR ((((triple3 ((triple4 triple1) -> rule3)) -> rule1) triple4) -> rule2) OR ((((((triple4 triple1) -> rule3) triple4) -> rule4) triple4) -> rule2) OR ((((triple3 ((triple4 ((triple4 triple3) -> rule8)) -> rule3)) -> rule1) triple4) -> rule2) OR ((((((triple4 ((triple4 triple3) -> rule8)) -> rule3) triple4) -> rule4) triple4) -> rule2))] Bob is quiet.[(triple3 OR ((((triple2) -> rule6) triple1) -> rule5) OR ((((((triple4 triple1) -> rule3) triple4) -> rule4) triple1) -> rule5) OR ((((((triple4 triple1) -> rule3) ((triple2) -> rule7)) -> rule4) triple1) -> rule5) OR ((((((((triple2) -> rule7) triple1) -> rule3) triple4) -> rule4) triple1) -> rule5) OR ((((((((triple2) -> rule7) triple1) -> rule3) ((triple2) -> rule7)) -> rule4) triple1) -> rule5))] Bob is red.[(triple4 OR ((triple2) -> rule7))] Fiona is cold.[(triple5)] Fiona is red.[(triple6)] Gary is nice.[(triple7 OR ((triple9 triple8) -> rule2))] Gary is red.[(triple8 OR ((triple7) -> rule7))] Gary is white.[(triple9 OR ((triple7) -> rule6))] Gary is young.[(triple10)] Harry is big.[(triple11)] Harry is red.[(triple12)] @1: Bob is cold.[(((triple4 triple1) -> rule3) OR ((triple4 ((triple4 triple3) -> rule8)) -> rule3) OR ((((triple2) -> rule7) triple1) -> rule3) OR ((((triple2) -> rule7) ((triple4 triple3) -> rule8)) -> rule3) OR ((triple4 ((((triple2) -> rule7) triple3) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((triple2) -> rule7) triple3) -> rule8)) -> rule3))] Bob is white.[(((triple2) -> rule6) OR ((triple3 ((triple4 triple1) -> rule3)) -> rule1) OR ((((triple4 triple1) -> rule3) triple4) -> rule4) OR ((((triple4 triple1) -> rule3) ((triple2) -> rule7)) -> rule4) OR ((triple3 ((triple4 ((triple4 triple3) -> rule8)) -> rule3)) -> rule1) OR ((triple3 ((((triple2) -> rule7) triple1) -> rule3)) -> rule1) OR ((((triple4 ((triple4 triple3) -> rule8)) -> rule3) triple4) -> rule4) OR ((((((triple2) -> rule7) triple1) -> rule3) triple4) -> rule4) OR ((triple3 ((((triple2) -> rule7) ((triple4 triple3) -> rule8)) -> rule3)) -> rule1) OR ((((triple4 ((triple4 triple3) -> rule8)) -> rule3) ((triple2) -> rule7)) -> rule4) OR ((((((triple2) -> rule7) triple1) -> rule3) ((triple2) -> rule7)) -> rule4) OR ((((((triple2) -> rule7) ((triple4 triple3) -> rule8)) -> rule3) triple4) -> rule4) OR ((((((triple2) -> rule7) ((triple4 triple3) -> rule8)) -> rule3) ((triple2) -> rule7)) -> rule4) OR ((triple3 ((triple4 ((((triple2) -> rule7) triple3) -> rule8)) -> rule3)) -> rule1) OR ((((triple4 ((((triple2) -> rule7) triple3) -> rule8)) -> rule3) triple4) -> rule4) OR ((triple3 ((((triple2) -> rule7) ((((triple2) -> rule7) triple3) -> rule8)) -> rule3)) -> rule1) OR ((((triple4 ((((triple2) -> rule7) triple3) -> rule8)) -> rule3) ((triple2) -> rule7)) -> rule4) OR ((((((triple2) -> rule7) ((((triple2) -> rule7) triple3) -> rule8)) -> rule3) triple4) -> rule4) OR ((((((triple2) -> rule7) ((((triple2) -> rule7) triple3) -> rule8)) -> rule3) ((triple2) -> rule7)) -> rule4))] Fiona is white.[(((triple5 triple6) -> rule4))] Harry is cold.[(((triple12 triple11) -> rule3))] @2: Fiona is nice.[(((((triple5 triple6) -> rule4) triple6) -> rule2))] Harry is white.[(((((triple12 triple11) -> rule3) triple12) -> rule4))] @3: Harry is nice.[(((((((triple12 triple11) -> rule3) triple12) -> rule4) triple12) -> rule2))] Harry is quiet.[(((((((triple12 triple11) -> rule3) triple12) -> rule4) triple11) -> rule5))]