Anne is nice. Fiona is big. Fiona is round. Gary is not young. Harry is not big. Harry is green. Harry is rough. If someone is nice and green then they are kind. If someone is young then they are rough. If someone is green and not round then they are not rough. If someone is green and not round then they are young. All kind people are not young. All nice, young people are green.
Anne is nice.
("Anne" "is" "nice" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is not young.
("Gary" "is" "young" "-")
Harry is not big.
("Harry" "is" "big" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is nice and green then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and not round then they are not rough.
((("someone" "is" "green" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "rough" "-"))
If someone is green and not round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "young" "+"))
All kind people are not young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "-"))
All nice, young people are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Fiona is round.
True
1
proof
[(triple3)]
("Fiona" "is" "round" "+")
triple3
Fiona is not round.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "round" "-")
triple3
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "green" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Anne is nice.[(triple1)] Fiona is big.[(triple2)] Fiona is round.[(triple3)] Gary is not young.[(triple4)] Harry is green.[(triple6)] Harry is not big.[(triple5)] Harry is rough.[(triple7)]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Gary is not young.
("Gary" "is" "young" "-")
triple4
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is not big.
("Harry" "is" "big" "-")
triple5
Harry is rough.
("Harry" "is" "rough" "+")
triple7