Bob is blue. Bob is cold. Bob is kind. Bob is quiet. Bob is round. Bob is white. Gary is big. Gary is cold. Gary is quiet. Gary is round. If something is white then it is blue. If something is kind then it is round. All round, blue things are cold. If something is big and quiet then it is cold. Cold, quiet things are big. All big things are kind. Big things are white. All cold things are round.
Bob is not kind.
@0: Bob is blue.[(triple1 OR ((triple6) -> rule1) OR ((((((triple2 triple4) -> rule5)) -> rule7)) -> rule1))] Bob is cold.[(triple2 OR ((triple5 triple1) -> rule3) OR ((triple5 ((triple6) -> rule1)) -> rule3) OR ((((triple3) -> rule2) triple1) -> rule3) OR ((((triple3) -> rule2) ((triple6) -> rule1)) -> rule3))] Bob is kind.[(triple3 OR ((((triple2 triple4) -> rule5)) -> rule6) OR ((((((triple5 triple1) -> rule3) triple4) -> rule5)) -> rule6) OR ((((((triple5 ((triple6) -> rule1)) -> rule3) triple4) -> rule5)) -> rule6))] Bob is quiet.[(triple4)] Bob is round.[(triple5 OR ((triple2) -> rule8) OR ((triple3) -> rule2) OR ((((((triple2 triple4) -> rule5)) -> rule6)) -> rule2))] Bob is white.[(triple6 OR ((((triple2 triple4) -> rule5)) -> rule7) OR ((((((triple5 triple1) -> rule3) triple4) -> rule5)) -> rule7) OR ((((((((triple3) -> rule2) triple1) -> rule3) triple4) -> rule5)) -> rule7))] Gary is big.[(triple7 OR ((triple8 triple9) -> rule5))] Gary is cold.[(triple8 OR ((triple7 triple9) -> rule4) OR ((triple10 ((((triple7) -> rule7)) -> rule1)) -> rule3) OR ((((((triple7) -> rule6)) -> rule2) ((((triple7) -> rule7)) -> rule1)) -> rule3))] Gary is quiet.[(triple9)] Gary is round.[(triple10 OR ((triple8) -> rule8) OR ((((triple7) -> rule6)) -> rule2) OR ((((triple7 triple9) -> rule4)) -> rule8) OR ((((((triple8 triple9) -> rule5)) -> rule6)) -> rule2))] @1: Bob is big.[(((triple2 triple4) -> rule5) OR ((((triple5 triple1) -> rule3) triple4) -> rule5) OR ((((triple5 ((triple6) -> rule1)) -> rule3) triple4) -> rule5) OR ((((((triple3) -> rule2) triple1) -> rule3) triple4) -> rule5) OR ((((((triple3) -> rule2) ((triple6) -> rule1)) -> rule3) triple4) -> rule5))] Gary is kind.[(((triple7) -> rule6) OR ((((triple8 triple9) -> rule5)) -> rule6))] Gary is white.[(((triple7) -> rule7) OR ((((triple8 triple9) -> rule5)) -> rule7))] @2: Gary is blue.[(((((triple7) -> rule7)) -> rule1) OR ((((((triple8 triple9) -> rule5)) -> rule7)) -> rule1))]