Harry is not cold. Harry is quiet. Harry is red. Harry is rough. Harry is smart. Harry is white. Harry is young. All rough people are red. If someone is white and not young then they are rough. If someone is red and not cold then they are rough. If Harry is young then Harry is smart. If someone is cold and rough then they are quiet. Cold, red people are white.
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
All rough people are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is white and not young then they are rough.
((("someone" "is" "white" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "rough" "+"))
If someone is red and not cold then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "rough" "+"))
If Harry is young then Harry is smart.
((("Harry" "is" "young" "+")) -> ("Harry" "is" "smart" "+"))
If someone is cold and rough then they are quiet.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
Cold, red people are white.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Harry is white.
True
1
proof
[(triple6)]
("Harry" "is" "white" "+")
triple6
Harry is not quiet.
False
1
inv-proof
[(triple2)]
("Harry" "is" "quiet" "-")
triple2
@0: Harry is not cold.[(triple1)] Harry is quiet.[(triple2)] Harry is red.[(triple3 OR ((triple4) -> rule1))] Harry is rough.[(triple4 OR ((triple3 triple1) -> rule3))] Harry is smart.[(triple5 OR ((triple7) -> rule4))] Harry is white.[(triple6)] Harry is young.[(triple7)]
Harry is not cold.
("Harry" "is" "cold" "-")
triple1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple2
Harry is red.
("Harry" "is" "red" "+")
triple3
((triple4) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple4
((triple3 triple1) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple5
((triple7) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7