Anne is round. Bob is young. Fiona is rough. Harry is not kind. If Anne is green and Anne is young then Anne is rough. If something is kind then it is rough. If Bob is rough then Bob is young.
Anne is round.
("Anne" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
If Anne is green and Anne is young then Anne is rough.
((("Anne" "is" "green" "+") ("Anne" "is" "young" "+")) -> ("Anne" "is" "rough" "+"))
If something is kind then it is rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
If Bob is rough then Bob is young.
((("Bob" "is" "rough" "+")) -> ("Bob" "is" "young" "+"))
Harry is not kind.
True
1
proof
[(triple4)]
("Harry" "is" "kind" "-")
triple4
Fiona is not rough.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "rough" "-")
triple3
Anne is not rough.
Unknown
inv-rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "rough" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is round.[(triple1)] Bob is young.[(triple2)] Fiona is rough.[(triple3)] Harry is not kind.[(triple4)]
Anne is round.
("Anne" "is" "round" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Harry is not kind.
("Harry" "is" "kind" "-")
triple4