Bob is not green. Bob is kind. Bob is nice. Bob is quiet. Bob is rough. Bob is smart. Bob is young. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is smart. Fiona is young. All smart things are quiet. If something is quiet then it is rough. If Fiona is quiet then Fiona is kind. Kind, quiet things are young. If something is green and not quiet then it is nice. If something is quiet and nice then it is kind. If something is young then it is kind. All rough things are kind.
Fiona is green.
@0: Bob is kind.[(triple2 OR ((triple5) -> rule8) OR ((triple7) -> rule7) OR ((triple4 triple3) -> rule6) OR ((((triple4) -> rule2)) -> rule8) OR ((((triple6) -> rule1) triple3) -> rule6) OR ((((((triple6) -> rule1)) -> rule2)) -> rule8))] Bob is nice.[(triple3)] Bob is not green.[(triple1)] Bob is quiet.[(triple4 OR ((triple6) -> rule1))] Bob is rough.[(triple5 OR ((triple4) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] Bob is smart.[(triple6)] Bob is young.[(triple7 OR ((triple2 triple4) -> rule4) OR ((triple2 ((triple6) -> rule1)) -> rule4) OR ((((triple5) -> rule8) triple4) -> rule4) OR ((((triple4 triple3) -> rule6) triple4) -> rule4) OR ((((triple5) -> rule8) ((triple6) -> rule1)) -> rule4) OR ((((triple4 triple3) -> rule6) ((triple6) -> rule1)) -> rule4) OR ((((((triple4) -> rule2)) -> rule8) triple4) -> rule4) OR ((((((triple6) -> rule1) triple3) -> rule6) triple4) -> rule4) OR ((((((triple4) -> rule2)) -> rule8) ((triple6) -> rule1)) -> rule4) OR ((((((triple6) -> rule1) triple3) -> rule6) ((triple6) -> rule1)) -> rule4) OR ((((((((triple6) -> rule1)) -> rule2)) -> rule8) triple4) -> rule4) OR ((((((((triple6) -> rule1)) -> rule2)) -> rule8) ((triple6) -> rule1)) -> rule4))] Fiona is green.[(triple8)] Fiona is kind.[(triple9 OR ((triple11) -> rule3) OR ((triple12) -> rule8) OR ((triple14) -> rule7) OR ((triple11 triple10) -> rule6) OR ((((triple11) -> rule2)) -> rule8) OR ((((triple13) -> rule1)) -> rule3) OR ((((triple13) -> rule1) triple10) -> rule6) OR ((((((triple13) -> rule1)) -> rule2)) -> rule8))] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11 OR ((triple13) -> rule1))] Fiona is rough.[(triple12 OR ((triple11) -> rule2) OR ((((triple13) -> rule1)) -> rule2))] Fiona is smart.[(triple13)] Fiona is young.[(triple14 OR ((triple9 triple11) -> rule4) OR ((triple9 ((triple13) -> rule1)) -> rule4) OR ((((triple11) -> rule3) triple11) -> rule4) OR ((((triple12) -> rule8) triple11) -> rule4) OR ((((triple11 triple10) -> rule6) triple11) -> rule4) OR ((((triple11) -> rule3) ((triple13) -> rule1)) -> rule4) OR ((((triple12) -> rule8) ((triple13) -> rule1)) -> rule4) OR ((((triple11 triple10) -> rule6) ((triple13) -> rule1)) -> rule4) OR ((((((triple11) -> rule2)) -> rule8) triple11) -> rule4) OR ((((((triple13) -> rule1)) -> rule3) triple11) -> rule4) OR ((((((triple13) -> rule1) triple10) -> rule6) triple11) -> rule4) OR ((((((triple11) -> rule2)) -> rule8) ((triple13) -> rule1)) -> rule4) OR ((((((triple13) -> rule1)) -> rule3) ((triple13) -> rule1)) -> rule4) OR ((((((triple13) -> rule1) triple10) -> rule6) ((triple13) -> rule1)) -> rule4) OR ((((((((triple13) -> rule1)) -> rule2)) -> rule8) triple11) -> rule4) OR ((((((((triple13) -> rule1)) -> rule2)) -> rule8) ((triple13) -> rule1)) -> rule4))]