Harry is rough. Quiet people are round. All rough people are nice. If someone is white then they are nice. If Harry is young and Harry is round then Harry is not nice. If Harry is not quiet then Harry is furry. Round, quiet people are young. If someone is round then they are white. If Harry is white then Harry is young.
Harry is rough.
("Harry" "is" "rough" "+")
Quiet people are round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
All rough people are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is white then they are nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
If Harry is young and Harry is round then Harry is not nice.
((("Harry" "is" "young" "+") ("Harry" "is" "round" "+")) -> ("Harry" "is" "nice" "-"))
If Harry is not quiet then Harry is furry.
((("Harry" "is" "quiet" "~")) -> ("Harry" "is" "furry" "+"))
Round, quiet people are young.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
If someone is round then they are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
If Harry is white then Harry is young.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "young" "+"))
Harry is rough.
True
1
proof
[(triple1)]
("Harry" "is" "rough" "+")
triple1
Harry is not rough.
False
1
inv-proof
[(triple1)]
("Harry" "is" "rough" "-")
triple1
Harry is nice.
True
2
proof
[(((triple1) -> rule2))]
("Harry" "is" "nice" "+")
((triple1) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple1) -> rule2))]
("Harry" "is" "nice" "-")
((triple1) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "-")
Harry is white.
Unknown
rconc
[@2: Harry is white.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Harry" "is" "white" "+")
@0: Harry is rough.[(triple1)] @1: Harry is nice.[(((triple1) -> rule2))]
Harry is rough.
("Harry" "is" "rough" "+")
triple1
Harry is nice.
("Harry" "is" "nice" "+")
((triple1) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1