Anne is young. Bob is blue. Fiona is young. Gary is not quiet. Quiet things are blue. All quiet, smart things are rough. All big, quiet things are rough. All smart, quiet things are big. If Anne is not smart then Anne is blue. All rough things are young. If something is red then it is young. If Bob is not blue then Bob is young.
Anne is young.
("Anne" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Quiet things are blue.
((("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
All quiet, smart things are rough.
((("something" "is" "quiet" "+") ("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
All big, quiet things are rough.
((("something" "is" "big" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
All smart, quiet things are big.
((("something" "is" "smart" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
If Anne is not smart then Anne is blue.
((("Anne" "is" "smart" "~")) -> ("Anne" "is" "blue" "+"))
All rough things are young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
If something is red then it is young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
If Bob is not blue then Bob is young.
((("Bob" "is" "blue" "~")) -> ("Bob" "is" "young" "+"))
Gary is not quiet.
True
1
proof
[(triple4)]
("Gary" "is" "quiet" "-")
triple4
Fiona is not young.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "young" "-")
triple3
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "big" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Anne is young.[(triple1)] Bob is blue.[(triple2)] Fiona is young.[(triple3)] Gary is not quiet.[(triple4)]
Anne is young.
("Anne" "is" "young" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple4