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