Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is quiet. Harry is red. Harry is white. Blue, white things are cold.
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is white.
("Harry" "is" "white" "+")
Blue, white things are cold.
((("something" "is" "blue" "+") ("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
Harry is kind.
True
1
proof
[(triple4)]
("Harry" "is" "kind" "+")
triple4
Harry is not quiet.
False
1
inv-proof
[(triple5)]
("Harry" "is" "quiet" "-")
triple5
@0: Harry is blue.[(triple1)] Harry is cold.[(triple2 OR ((triple1 triple7) -> rule1))] Harry is furry.[(triple3)] Harry is kind.[(triple4)] Harry is quiet.[(triple5)] Harry is red.[(triple6)] Harry is white.[(triple7)]
Harry is blue.
("Harry" "is" "blue" "+")
triple1
Harry is cold.
("Harry" "is" "cold" "+")
triple2
((triple1 triple7) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
triple3
Harry is kind.
("Harry" "is" "kind" "+")
triple4
Harry is quiet.
("Harry" "is" "quiet" "+")
triple5
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7