Bob is round. Charlie is rough. Erin is rough. Harry is red. Young, furry people are rough. If someone is white then they are red. Furry people are rough.
Bob is round.
("Bob" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Young, furry people are rough.
((("someone" "is" "young" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
If someone is white then they are red.
((("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
Furry people are rough.
((("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
Bob is round.
True
1
proof
[(triple1)]
("Bob" "is" "round" "+")
triple1
Bob is not round.
False
1
inv-proof
[(triple1)]
("Bob" "is" "round" "-")
triple1
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Bob is round.[(triple1)] Charlie is rough.[(triple2)] Erin is rough.[(triple3)] Harry is red.[(triple4)]
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Harry is red.
("Harry" "is" "red" "+")
triple4