Erin is nice. Fiona is smart. Harry is white. All smart, blue people are nice. All nice, big people are rough. If someone is rough then they are nice.
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
All smart, blue people are nice.
((("someone" "is" "smart" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
All nice, big people are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Fiona is smart.
True
1
proof
[(triple2)]
("Fiona" "is" "smart" "+")
triple2
Harry is not white.
False
1
inv-proof
[(triple3)]
("Harry" "is" "white" "-")
triple3
Harry is not nice.
Unknown
inv-rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Erin is nice.[(triple1)] Fiona is smart.[(triple2)] Harry is white.[(triple3)]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple2
Harry is white.
("Harry" "is" "white" "+")
triple3