Gary is furry. Gary is kind. Harry is cold. Furry people are round. Cold, kind people are rough. All green people are cold. All furry people are round. If someone is kind then they are rough. If Harry is furry then Harry is kind.
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Furry people are round.
((("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
Cold, kind people are rough.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
All green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
All furry people are round.
((("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
If someone is kind then they are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If Harry is furry then Harry is kind.
((("Harry" "is" "furry" "+")) -> ("Harry" "is" "kind" "+"))
Gary is furry.
True
1
proof
[(triple1)]
("Gary" "is" "furry" "+")
triple1
Harry is not cold.
False
1
inv-proof
[(triple3)]
("Harry" "is" "cold" "-")
triple3
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "kind" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Gary is furry.[(triple1)] Gary is kind.[(triple2)] Harry is cold.[(triple3)] @1: Gary is rough.[(((triple2) -> rule5))] Gary is round.[(((triple1) -> rule1) OR ((triple1) -> rule4))]
Gary is furry.
("Gary" "is" "furry" "+")
triple1
Gary is kind.
("Gary" "is" "kind" "+")
triple2
Harry is cold.
("Harry" "is" "cold" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
((triple2) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple1) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple1) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1