Bob is kind. Bob is nice. Bob is red. Charlie is green. Fiona is green. Fiona is kind. Harry is furry. Harry is green. Harry is nice. Harry is red. Harry is smart. Harry is young. Young, red people are furry. All green people are young. All furry, young people are kind. Furry people are red. Kind, nice people are red. If Fiona is red and Fiona is green then Fiona is smart. All kind, nice people are red. All red people are smart.
Bob is green.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3 OR ((triple1 triple2) -> rule5) OR ((triple1 triple2) -> rule7))] Charlie is green.[(triple4)] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Harry is furry.[(triple7 OR ((triple12 triple10) -> rule1) OR ((((triple8) -> rule2) triple10) -> rule1))] Harry is green.[(triple8)] Harry is nice.[(triple9)] Harry is red.[(triple10 OR ((triple7) -> rule4) OR ((((triple7 triple12) -> rule3) triple9) -> rule5) OR ((((triple7 triple12) -> rule3) triple9) -> rule7) OR ((((triple7 ((triple8) -> rule2)) -> rule3) triple9) -> rule5) OR ((((triple7 ((triple8) -> rule2)) -> rule3) triple9) -> rule7))] Harry is smart.[(triple11 OR ((triple10) -> rule8) OR ((((triple7) -> rule4)) -> rule8) OR ((((((triple7 triple12) -> rule3) triple9) -> rule5)) -> rule8) OR ((((((triple7 triple12) -> rule3) triple9) -> rule7)) -> rule8) OR ((((((triple7 ((triple8) -> rule2)) -> rule3) triple9) -> rule5)) -> rule8) OR ((((((triple7 ((triple8) -> rule2)) -> rule3) triple9) -> rule7)) -> rule8))] Harry is young.[(triple12 OR ((triple8) -> rule2))] @1: Bob is smart.[(((triple3) -> rule8) OR ((((triple1 triple2) -> rule5)) -> rule8) OR ((((triple1 triple2) -> rule7)) -> rule8))] Charlie is young.[(((triple4) -> rule2))] Fiona is young.[(((triple5) -> rule2))] Harry is kind.[(((triple7 triple12) -> rule3) OR ((triple7 ((triple8) -> rule2)) -> rule3) OR ((((triple12 triple10) -> rule1) triple12) -> rule3) OR ((((triple12 triple10) -> rule1) ((triple8) -> rule2)) -> rule3) OR ((((((triple8) -> rule2) triple10) -> rule1) triple12) -> rule3) OR ((((((triple8) -> rule2) triple10) -> rule1) ((triple8) -> rule2)) -> rule3))]