Bob is green. Bob is kind. Bob is red. Bob is round. Bob is young. Fiona is green. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. Gary is kind. Gary is red. Gary is rough. Gary is round. Gary is smart. All red people are kind. If Fiona is round then Fiona is smart. If someone is smart then they are rough. If someone is young and kind then they are red. All young people are green. Red people are kind. All rough, red people are round. If someone is green and red then they are smart.
Fiona is not kind.
@0: Bob is green.[(triple1 OR ((triple5) -> rule5))] Bob is kind.[(triple2 OR ((triple3) -> rule1) OR ((triple3) -> rule6))] Bob is red.[(triple3 OR ((triple5 triple2) -> rule4))] Bob is round.[(triple4 OR ((((((triple1 triple3) -> rule8)) -> rule3) triple3) -> rule7) OR ((((((triple1 triple3) -> rule8)) -> rule3) ((triple5 triple2) -> rule4)) -> rule7) OR ((((((triple1 ((triple5 triple2) -> rule4)) -> rule8)) -> rule3) triple3) -> rule7) OR ((((((((triple5) -> rule5) triple3) -> rule8)) -> rule3) triple3) -> rule7) OR ((((((triple1 ((triple5 triple2) -> rule4)) -> rule8)) -> rule3) ((triple5 triple2) -> rule4)) -> rule7) OR ((((((((triple5) -> rule5) triple3) -> rule8)) -> rule3) ((triple5 triple2) -> rule4)) -> rule7) OR ((((((((triple5) -> rule5) ((triple5 triple2) -> rule4)) -> rule8)) -> rule3) triple3) -> rule7) OR ((((((((triple5) -> rule5) ((triple5 triple2) -> rule4)) -> rule8)) -> rule3) ((triple5 triple2) -> rule4)) -> rule7))] Bob is young.[(triple5)] Fiona is green.[(triple6 OR ((triple11) -> rule5))] Fiona is red.[(triple7)] Fiona is rough.[(triple8 OR ((triple10) -> rule3) OR ((((triple9) -> rule2)) -> rule3) OR ((((triple6 triple7) -> rule8)) -> rule3) OR ((((((triple11) -> rule5) triple7) -> rule8)) -> rule3))] Fiona is round.[(triple9 OR ((triple8 triple7) -> rule7) OR ((((triple10) -> rule3) triple7) -> rule7) OR ((((((triple6 triple7) -> rule8)) -> rule3) triple7) -> rule7) OR ((((((((triple11) -> rule5) triple7) -> rule8)) -> rule3) triple7) -> rule7))] Fiona is smart.[(triple10 OR ((triple9) -> rule2) OR ((triple6 triple7) -> rule8) OR ((((triple8 triple7) -> rule7)) -> rule2) OR ((((triple11) -> rule5) triple7) -> rule8))] Fiona is young.[(triple11)] Gary is kind.[(triple12 OR ((triple13) -> rule1) OR ((triple13) -> rule6))] Gary is red.[(triple13)] Gary is rough.[(triple14 OR ((triple16) -> rule3))] Gary is round.[(triple15 OR ((triple14 triple13) -> rule7) OR ((((triple16) -> rule3) triple13) -> rule7))] Gary is smart.[(triple16)] @1: Bob is smart.[(((triple1 triple3) -> rule8) OR ((triple1 ((triple5 triple2) -> rule4)) -> rule8) OR ((((triple5) -> rule5) triple3) -> rule8) OR ((((triple5) -> rule5) ((triple5 triple2) -> rule4)) -> rule8))] Fiona is kind.[(((triple7) -> rule1) OR ((triple7) -> rule6))] @2: Bob is rough.[(((((triple1 triple3) -> rule8)) -> rule3) OR ((((triple1 ((triple5 triple2) -> rule4)) -> rule8)) -> rule3) OR ((((((triple5) -> rule5) triple3) -> rule8)) -> rule3) OR ((((((triple5) -> rule5) ((triple5 triple2) -> rule4)) -> rule8)) -> rule3))]