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