Erin is nice. Fiona is round. Gary is smart. Harry is young. If someone is round and not green then they are not blue. All blue people are round. Young, blue people are not smart.
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is round and not green then they are not blue.
((("someone" "is" "round" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "blue" "-"))
All blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Young, blue people are not smart.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "-"))
Harry is young.
True
1
proof
[(triple4)]
("Harry" "is" "young" "+")
triple4
Fiona is not round.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "round" "-")
triple2
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Erin is nice.[(triple1)] Fiona is round.[(triple2)] Gary is smart.[(triple3)] Harry is young.[(triple4)]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Fiona is round.
("Fiona" "is" "round" "+")
triple2
Gary is smart.
("Gary" "is" "smart" "+")
triple3
Harry is young.
("Harry" "is" "young" "+")
triple4