Anne is kind. Anne is not nice. Anne is quiet. Erin is furry. Erin is kind. Erin is nice. Erin is red. Erin is smart. Harry is kind. Harry is quiet. If Erin is furry then Erin is quiet. All furry people are quiet. If someone is red then they are not blue. Nice, blue people are not furry. All blue people are not furry. If Harry is nice then Harry is quiet. If Anne is furry then Anne is blue. All smart people are nice.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If Erin is furry then Erin is quiet.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "quiet" "+"))
All furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
If someone is red then they are not blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "-"))
Nice, blue people are not furry.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "-"))
All blue people are not furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "-"))
If Harry is nice then Harry is quiet.
((("Harry" "is" "nice" "+")) -> ("Harry" "is" "quiet" "+"))
If Anne is furry then Anne is blue.
((("Anne" "is" "furry" "+")) -> ("Anne" "is" "blue" "+"))
All smart people are nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
Anne is quiet.
True
1
proof
[(triple3)]
("Anne" "is" "quiet" "+")
triple3
Anne is nice.
False
1
inv-proof
[(triple2)]
("Anne" "is" "nice" "+")
triple2
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Anne is kind.[(triple1)] Anne is not nice.[(triple2)] Anne is quiet.[(triple3)] Erin is furry.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6 OR ((triple8) -> rule8))] Erin is red.[(triple7)] Erin is smart.[(triple8)] Harry is kind.[(triple9)] Harry is quiet.[(triple10)] @1: Erin is not blue.[(((triple7) -> rule3))] Erin is quiet.[(((triple4) -> rule1) OR ((triple4) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is not nice.
("Anne" "is" "nice" "-")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
((triple8) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Erin is not blue.
("Erin" "is" "blue" "-")
((triple7) -> (rule3 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple4) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple4) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1