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