Anne is young. Dave is not kind. Dave is rough. Erin is red. Fiona is quiet. Fiona is red. Fiona is smart. Smart, young things are big. If Fiona is big then Fiona is not quiet. If Dave is kind then Dave is young. Young things are smart. If something is big and not smart then it is quiet. All quiet, rough things are red.
Anne is young.
("Anne" "is" "young" "+")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Smart, young things are big.
((("something" "is" "smart" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If Fiona is big then Fiona is not quiet.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "quiet" "-"))
If Dave is kind then Dave is young.
((("Dave" "is" "kind" "+")) -> ("Dave" "is" "young" "+"))
Young things are smart.
((("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
If something is big and not smart then it is quiet.
((("something" "is" "big" "+") ("something" "is" "smart" "~")) -> ("something" "is" "quiet" "+"))
All quiet, rough things are red.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
Dave is rough.
True
1
proof
[(triple3)]
("Dave" "is" "rough" "+")
triple3
Erin is not red.
False
1
inv-proof
[(triple4)]
("Erin" "is" "red" "-")
triple4
Erin is not quiet.
Unknown
inv-rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "quiet" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Anne is young.[(triple1)] Dave is not kind.[(triple2)] Dave is rough.[(triple3)] Erin is red.[(triple4)] Fiona is quiet.[(triple5)] Fiona is red.[(triple6)] Fiona is smart.[(triple7)] @1: Anne is smart.[(((triple1) -> rule4))] @2: Anne is big.[(((((triple1) -> rule4) triple1) -> rule1))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Dave is not kind.
("Dave" "is" "kind" "-")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Anne is smart.
("Anne" "is" "smart" "+")
((triple1) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2