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