Bob is blue. Bob is cold. Bob is kind. Bob is quiet. Bob is rough. Bob is smart. Harry is blue. Harry is furry. Harry is kind. Harry is quiet. Harry is rough. Harry is smart. All blue, kind people are cold.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All blue, kind people are cold.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Harry is smart.
True
1
proof
[(triple12)]
("Harry" "is" "smart" "+")
triple12
Bob is not smart.
False
1
inv-proof
[(triple6)]
("Bob" "is" "smart" "-")
triple6
Harry is cold.
True
3
proof
[(((triple7 triple9) -> rule1))]
("Harry" "is" "cold" "+")
((triple7 triple9) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
3
inv-proof
[(((triple7 triple9) -> rule1))]
("Harry" "is" "cold" "-")
((triple7 triple9) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple1 triple3) -> rule1))] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Harry is blue.[(triple7)] Harry is furry.[(triple8)] Harry is kind.[(triple9)] Harry is quiet.[(triple10)] Harry is rough.[(triple11)] Harry is smart.[(triple12)] @1: Harry is cold.[(((triple7 triple9) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
((triple1 triple3) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
((triple7 triple9) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1