Anne is green. Anne is nice. Anne is round. Erin is round. Fiona is quiet. Harry is kind. Harry is round. Quiet things are kind. If something is red and kind then it is quiet. Green things are kind. If something is round then it is quiet. All furry, green things are red. If Erin is red then Erin is round.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
Quiet things are kind.
((("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
If something is red and kind then it is quiet.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
Green things are kind.
((("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
If something is round then it is quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
All furry, green things are red.
((("something" "is" "furry" "+") ("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
If Erin is red then Erin is round.
((("Erin" "is" "red" "+")) -> ("Erin" "is" "round" "+"))
Erin is round.
True
1
proof
[(triple4)]
("Erin" "is" "round" "+")
triple4
Anne is not green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "red" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Erin is round.[(triple4)] Fiona is quiet.[(triple5)] Harry is kind.[(triple6 OR ((((triple7) -> rule4)) -> rule1))] Harry is round.[(triple7)] @1: Anne is kind.[(((triple1) -> rule3) OR ((((triple3) -> rule4)) -> rule1))] Anne is quiet.[(((triple3) -> rule4))] Erin is quiet.[(((triple4) -> rule4))] Fiona is kind.[(((triple5) -> rule1))] Harry is quiet.[(((triple7) -> rule4))] @2: Erin is kind.[(((((triple4) -> rule4)) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Erin is round.
("Erin" "is" "round" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple6
((((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
triple7
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple3) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple4) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple5) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple7) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((((triple4) -> (rule4 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2