Anne is blue. Anne is cold. Anne is furry. Bob is furry. Bob is round. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is rough. Fiona is round. Gary is blue. Gary is kind. Gary is rough. Kind things are cold. If something is red then it is kind. All rough things are round. If something is round and kind then it is red. All cold things are rough. If something is round then it is red. Rough, round things are blue. If something is kind then it is furry.
Bob is not blue.
@0: Anne is blue.[(triple1 OR ((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule3)) -> rule7))] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((((((((((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule2)) -> rule8))] Bob is furry.[(triple4 OR ((((((triple5) -> rule6)) -> rule2)) -> rule8))] Bob is round.[(triple5)] Fiona is blue.[(triple6 OR ((triple10 triple11) -> rule7) OR ((triple10 ((triple10) -> rule3)) -> rule7) OR ((((triple7) -> rule5) triple11) -> rule7) OR ((((triple7) -> rule5) ((triple10) -> rule3)) -> rule7) OR ((triple10 ((((triple7) -> rule5)) -> rule3)) -> rule7) OR ((((((triple9) -> rule1)) -> rule5) triple11) -> rule7) OR ((((triple7) -> rule5) ((((triple7) -> rule5)) -> rule3)) -> rule7) OR ((((((triple9) -> rule1)) -> rule5) ((triple10) -> rule3)) -> rule7) OR ((((((triple9) -> rule1)) -> rule5) ((((triple7) -> rule5)) -> rule3)) -> rule7) OR ((triple10 ((((((triple9) -> rule1)) -> rule5)) -> rule3)) -> rule7) OR ((((triple7) -> rule5) ((((((triple9) -> rule1)) -> rule5)) -> rule3)) -> rule7) OR ((((((triple9) -> rule1)) -> rule5) ((((((triple9) -> rule1)) -> rule5)) -> rule3)) -> rule7) OR ((((((((((triple11) -> rule6)) -> rule2)) -> rule1)) -> rule5) triple11) -> rule7) OR ((((((((((triple11) -> rule6)) -> rule2)) -> rule1)) -> rule5) ((triple10) -> rule3)) -> rule7) OR ((((((((((triple11) -> rule6)) -> rule2)) -> rule1)) -> rule5) ((((triple7) -> rule5)) -> rule3)) -> rule7) OR ((((((((((triple11) -> rule6)) -> rule2)) -> rule1)) -> rule5) ((((((triple9) -> rule1)) -> rule5)) -> rule3)) -> rule7))] Fiona is cold.[(triple7 OR ((triple9) -> rule1) OR ((((((triple11) -> rule6)) -> rule2)) -> rule1) OR ((((((((triple10) -> rule3)) -> rule6)) -> rule2)) -> rule1))] Fiona is furry.[(triple8 OR ((triple9) -> rule8) OR ((((((triple11) -> rule6)) -> rule2)) -> rule8) OR ((((((((triple10) -> rule3)) -> rule6)) -> rule2)) -> rule8) OR ((((((((((triple7) -> rule5)) -> rule3)) -> rule6)) -> rule2)) -> rule8))] Fiona is kind.[(triple9 OR ((((triple11) -> rule6)) -> rule2) OR ((((((triple10) -> rule3)) -> rule6)) -> rule2) OR ((((((((triple7) -> rule5)) -> rule3)) -> rule6)) -> rule2))] Fiona is rough.[(triple10 OR ((triple7) -> rule5) OR ((((triple9) -> rule1)) -> rule5) OR ((((((((triple11) -> rule6)) -> rule2)) -> rule1)) -> rule5))] Fiona is round.[(triple11 OR ((triple10) -> rule3) OR ((((triple7) -> rule5)) -> rule3) OR ((((((triple9) -> rule1)) -> rule5)) -> rule3))] Gary is blue.[(triple12 OR ((triple14 ((triple14) -> rule3)) -> rule7) OR ((((((triple13) -> rule1)) -> rule5) ((triple14) -> rule3)) -> rule7) OR ((triple14 ((((((triple13) -> rule1)) -> rule5)) -> rule3)) -> rule7) OR ((((((triple13) -> rule1)) -> rule5) ((((((triple13) -> rule1)) -> rule5)) -> rule3)) -> rule7))] Gary is kind.[(triple13 OR ((((((triple14) -> rule3)) -> rule6)) -> rule2))] Gary is rough.[(triple14 OR ((((triple13) -> rule1)) -> rule5))] @1: Anne is rough.[(((triple2) -> rule5))] Bob is red.[(((triple5) -> rule6))] Fiona is red.[(((triple11) -> rule6) OR ((triple11 triple9) -> rule4) OR ((((triple10) -> rule3)) -> rule6) OR ((((triple10) -> rule3) triple9) -> rule4) OR ((((((triple7) -> rule5)) -> rule3)) -> rule6) OR ((((((triple7) -> rule5)) -> rule3) triple9) -> rule4) OR ((((((((triple9) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple9) -> rule1)) -> rule5)) -> rule3) triple9) -> rule4))] Gary is cold.[(((triple13) -> rule1) OR ((((((((triple14) -> rule3)) -> rule6)) -> rule2)) -> rule1))] Gary is furry.[(((triple13) -> rule8) OR ((((((((triple14) -> rule3)) -> rule6)) -> rule2)) -> rule8))] Gary is round.[(((triple14) -> rule3) OR ((((((triple13) -> rule1)) -> rule5)) -> rule3))] @2: Anne is round.[(((((triple2) -> rule5)) -> rule3))] Bob is kind.[(((((triple5) -> rule6)) -> rule2))] Gary is red.[(((((triple14) -> rule3)) -> rule6) OR ((((triple14) -> rule3) triple13) -> rule4) OR ((((((((triple13) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple13) -> rule1)) -> rule5)) -> rule3) triple13) -> rule4))] @3: Anne is red.[(((((((triple2) -> rule5)) -> rule3)) -> rule6))] Bob is cold.[(((((((triple5) -> rule6)) -> rule2)) -> rule1))] @4: Anne is kind.[(((((((((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule2))] Bob is rough.[(((((((((triple5) -> rule6)) -> rule2)) -> rule1)) -> rule5))] @5: Bob is blue.[(((((((((((triple5) -> rule6)) -> rule2)) -> rule1)) -> rule5) triple5) -> rule7))]