Harry is blue. Harry is cold. Harry is not furry. Harry is green. Harry is kind. Harry is red. Harry is rough. If something is cold then it is red. If something is blue and not red then it is not rough.
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If something is cold then it is red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
If something is blue and not red then it is not rough.
((("something" "is" "blue" "+") ("something" "is" "red" "~")) -> ("something" "is" "rough" "-"))
Harry is not furry.
True
1
proof
[(triple3)]
("Harry" "is" "furry" "-")
triple3
Harry is not blue.
False
1
inv-proof
[(triple1)]
("Harry" "is" "blue" "-")
triple1
@0: Harry is blue.[(triple1)] Harry is cold.[(triple2)] Harry is green.[(triple4)] Harry is kind.[(triple5)] Harry is not furry.[(triple3)] Harry is red.[(triple6 OR ((triple2) -> rule1))] Harry is rough.[(triple7)]
Harry is blue.
("Harry" "is" "blue" "+")
triple1
Harry is cold.
("Harry" "is" "cold" "+")
triple2
Harry is green.
("Harry" "is" "green" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
triple5
Harry is not furry.
("Harry" "is" "furry" "-")
triple3
Harry is red.
("Harry" "is" "red" "+")
triple6
((triple2) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple7