Bob is cold. Bob is kind. Bob is nice. Bob is young. Gary is cold. Gary is rough. Harry is cold. Harry is not kind. Harry is round. Harry is smart. All rough, nice people are cold. If Harry is rough then Harry is cold. If someone is kind then they are rough.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is young.
("Bob" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All rough, nice people are cold.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If Harry is rough then Harry is cold.
((("Harry" "is" "rough" "+")) -> ("Harry" "is" "cold" "+"))
If someone is kind then they are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Bob is nice.
True
1
proof
[(triple3)]
("Bob" "is" "nice" "+")
triple3
Gary is not rough.
False
1
inv-proof
[(triple6)]
("Gary" "is" "rough" "-")
triple6
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "rough" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Bob is cold.[(triple1 OR ((((triple2) -> rule3) triple3) -> rule1))] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is young.[(triple4)] Gary is cold.[(triple5)] Gary is rough.[(triple6)] Harry is cold.[(triple7)] Harry is not kind.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Bob is rough.[(((triple2) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
((((triple2) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is not kind.
("Harry" "is" "kind" "-")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Bob is rough.
("Bob" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1