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