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