Harry is cold. Harry is green. Harry is quiet. Harry is red. Harry is rough. Harry is round. Harry is young. Cold people are young.
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
Cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Harry is red.
True
1
proof
[(triple4)]
("Harry" "is" "red" "+")
triple4
Harry is not round.
False
1
inv-proof
[(triple6)]
("Harry" "is" "round" "-")
triple6
@0: Harry is cold.[(triple1)] Harry is green.[(triple2)] Harry is quiet.[(triple3)] Harry is red.[(triple4)] Harry is rough.[(triple5)] Harry is round.[(triple6)] Harry is young.[(triple7 OR ((triple1) -> rule1))]
Harry is cold.
("Harry" "is" "cold" "+")
triple1
Harry is green.
("Harry" "is" "green" "+")
triple2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple3
Harry is red.
("Harry" "is" "red" "+")
triple4
Harry is rough.
("Harry" "is" "rough" "+")
triple5
Harry is round.
("Harry" "is" "round" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
((triple1) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1