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