Anne is round. Charlie is young. Fiona is young. Nice, young people are big. All blue people are kind. Young, nice people are round. All furry, young people are nice. All round, young people are nice. All big, blue people are nice.
Anne is round.
("Anne" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Nice, young people are big.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
All blue people are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Young, nice people are round.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
All furry, young people are nice.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
All round, young people are nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
All big, blue people are nice.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
Anne is round.
True
1
proof
[(triple1)]
("Anne" "is" "round" "+")
triple1
Charlie is not young.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "young" "-")
triple2
Charlie is not nice.
Unknown
inv-rconc
[@3: Charlie is nice.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule4 <- FAIL)]]
("Charlie" "is" "nice" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is round.[(triple1)] Charlie is young.[(triple2)] Fiona is young.[(triple3)]
Anne is round.
("Anne" "is" "round" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3