Bob is blue. Bob is furry. Bob is kind. Bob is nice. Bob is red. Bob is young. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is red. Fiona is smart. Fiona is young. Gary is furry. Gary is kind. Gary is smart. All blue, red things are kind. If Bob is young and Bob is smart then Bob is blue. All nice things are red. All kind things are red. If Bob is smart and Bob is red then Bob is kind. If something is kind then it is nice. All red things are blue. All kind things are furry.
Bob is not smart.
@0: Bob is blue.[(triple1 OR ((triple5) -> rule7) OR ((((triple3) -> rule4)) -> rule7) OR ((((triple4) -> rule3)) -> rule7) OR ((((((triple3) -> rule6)) -> rule3)) -> rule7))] Bob is furry.[(triple2 OR ((triple3) -> rule8) OR ((((triple1 triple5) -> rule1)) -> rule8) OR ((((triple1 ((triple4) -> rule3)) -> rule1)) -> rule8) OR ((((((triple5) -> rule7) triple5) -> rule1)) -> rule8) OR ((((((triple5) -> rule7) ((triple4) -> rule3)) -> rule1)) -> rule8) OR ((((((((triple4) -> rule3)) -> rule7) triple5) -> rule1)) -> rule8) OR ((((((((triple4) -> rule3)) -> rule7) ((triple4) -> rule3)) -> rule1)) -> rule8))] Bob is kind.[(triple3 OR ((triple1 triple5) -> rule1) OR ((triple1 ((triple4) -> rule3)) -> rule1) OR ((((triple5) -> rule7) triple5) -> rule1) OR ((((triple5) -> rule7) ((triple4) -> rule3)) -> rule1) OR ((((((triple4) -> rule3)) -> rule7) triple5) -> rule1) OR ((((((triple4) -> rule3)) -> rule7) ((triple4) -> rule3)) -> rule1))] Bob is nice.[(triple4 OR ((triple3) -> rule6) OR ((((triple1 triple5) -> rule1)) -> rule6) OR ((((((triple5) -> rule7) triple5) -> rule1)) -> rule6))] Bob is red.[(triple5 OR ((triple3) -> rule4) OR ((triple4) -> rule3) OR ((((triple3) -> rule6)) -> rule3))] Bob is young.[(triple6)] Fiona is blue.[(triple7 OR ((triple11) -> rule7) OR ((((triple10) -> rule3)) -> rule7) OR ((((triple9) -> rule4)) -> rule7) OR ((((((triple9) -> rule6)) -> rule3)) -> rule7))] Fiona is furry.[(triple8 OR ((triple9) -> rule8) OR ((((triple7 triple11) -> rule1)) -> rule8) OR ((((triple7 ((triple10) -> rule3)) -> rule1)) -> rule8) OR ((((((triple11) -> rule7) triple11) -> rule1)) -> rule8) OR ((((((triple11) -> rule7) ((triple10) -> rule3)) -> rule1)) -> rule8) OR ((((((((triple10) -> rule3)) -> rule7) triple11) -> rule1)) -> rule8) OR ((((((((triple10) -> rule3)) -> rule7) ((triple10) -> rule3)) -> rule1)) -> rule8))] Fiona is kind.[(triple9 OR ((triple7 triple11) -> rule1) OR ((triple7 ((triple10) -> rule3)) -> rule1) OR ((((triple11) -> rule7) triple11) -> rule1) OR ((((triple11) -> rule7) ((triple10) -> rule3)) -> rule1) OR ((((((triple10) -> rule3)) -> rule7) triple11) -> rule1) OR ((((((triple10) -> rule3)) -> rule7) ((triple10) -> rule3)) -> rule1))] Fiona is nice.[(triple10 OR ((triple9) -> rule6) OR ((((triple7 triple11) -> rule1)) -> rule6) OR ((((((triple11) -> rule7) triple11) -> rule1)) -> rule6))] Fiona is red.[(triple11 OR ((triple10) -> rule3) OR ((triple9) -> rule4) OR ((((triple9) -> rule6)) -> rule3))] Fiona is smart.[(triple12)] Fiona is young.[(triple13)] Gary is furry.[(triple14 OR ((triple15) -> rule8))] Gary is kind.[(triple15)] Gary is smart.[(triple16)] @1: Gary is nice.[(((triple15) -> rule6))] Gary is red.[(((triple15) -> rule4) OR ((((triple15) -> rule6)) -> rule3))] @2: Gary is blue.[(((((triple15) -> rule4)) -> rule7) OR ((((((triple15) -> rule6)) -> rule3)) -> rule7))]