Bob is not young. Gary is not furry. Harry is furry. Green things are quiet. If something is furry then it is quiet. If something is young and not cold then it is quiet. If Bob is white and Bob is young then Bob is not quiet. If something is white and not cold then it is rough. If something is furry and not white then it is not rough. If something is rough then it is furry. All green, quiet things are young.
Bob is not young.
("Bob" "is" "young" "-")
Gary is not furry.
("Gary" "is" "furry" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Green things are quiet.
((("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
If something is furry then it is quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
If something is young and not cold then it is quiet.
((("something" "is" "young" "+") ("something" "is" "cold" "~")) -> ("something" "is" "quiet" "+"))
If Bob is white and Bob is young then Bob is not quiet.
((("Bob" "is" "white" "+") ("Bob" "is" "young" "+")) -> ("Bob" "is" "quiet" "-"))
If something is white and not cold then it is rough.
((("something" "is" "white" "+") ("something" "is" "cold" "~")) -> ("something" "is" "rough" "+"))
If something is furry and not white then it is not rough.
((("something" "is" "furry" "+") ("something" "is" "white" "~")) -> ("something" "is" "rough" "-"))
If something is rough then it is furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
All green, quiet things are young.
((("something" "is" "green" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
Harry is furry.
True
1
proof
[(triple3)]
("Harry" "is" "furry" "+")
triple3
Bob is young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "+")
triple1
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Bob is not young.[(triple1)] Gary is not furry.[(triple2)] Harry is furry.[(triple3)] @1: Harry is quiet.[(((triple3) -> rule2))]
Bob is not young.
("Bob" "is" "young" "-")
triple1
Gary is not furry.
("Gary" "is" "furry" "-")
triple2
Harry is furry.
("Harry" "is" "furry" "+")
triple3
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple3) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1