Anne is green. Anne is nice. Anne is round. Dave is white. Fiona is smart. Harry is quiet. Harry is smart. All quiet, big things are not nice. Smart, quiet things are not round. If Fiona is smart and Fiona is round then Fiona is quiet.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All quiet, big things are not nice.
((("something" "is" "quiet" "+") ("something" "is" "big" "+")) -> ("something" "is" "nice" "-"))
Smart, quiet things are not round.
((("something" "is" "smart" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "round" "-"))
If Fiona is smart and Fiona is round then Fiona is quiet.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "quiet" "+"))
Harry is smart.
True
1
proof
[(triple7)]
("Harry" "is" "smart" "+")
triple7
Dave is not white.
False
1
inv-proof
[(triple4)]
("Dave" "is" "white" "-")
triple4
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Dave is white.[(triple4)] Fiona is smart.[(triple5)] Harry is quiet.[(triple6)] Harry is smart.[(triple7)] @1: Harry is not round.[(((triple7 triple6) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Harry is quiet.
("Harry" "is" "quiet" "+")
triple6
Harry is smart.
("Harry" "is" "smart" "+")
triple7
Harry is not round.
("Harry" "is" "round" "-")
((triple7 triple6) -> (rule2 % int1))
Harry is not round.
("Harry" "is" "round" "-")
int1