Anne is not green. Anne is rough. Anne is not young. Bob is big. Bob is red. Bob is rough. Bob is not young. Dave is big. Dave is not green. Dave is not red. Dave is not young. Harry is furry. If something is red then it is green.
Anne is not green.
("Anne" "is" "green" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not young.
("Anne" "is" "young" "-")
Bob is big.
("Bob" "is" "big" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not young.
("Bob" "is" "young" "-")
Dave is big.
("Dave" "is" "big" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is not red.
("Dave" "is" "red" "-")
Dave is not young.
("Dave" "is" "young" "-")
Harry is furry.
("Harry" "is" "furry" "+")
If something is red then it is green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
Harry is furry.
True
1
proof
[(triple12)]
("Harry" "is" "furry" "+")
triple12
Bob is not red.
False
1
inv-proof
[(triple5)]
("Bob" "is" "red" "-")
triple5
Bob is green.
True
2
proof
[(((triple5) -> rule1))]
("Bob" "is" "green" "+")
((triple5) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not green.
False
2
inv-proof
[(((triple5) -> rule1))]
("Bob" "is" "green" "-")
((triple5) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Anne is not green.[(triple1)] Anne is not young.[(triple3)] Anne is rough.[(triple2)] Bob is big.[(triple4)] Bob is not young.[(triple7)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Dave is big.[(triple8)] Dave is not green.[(triple9)] Dave is not red.[(triple10)] Dave is not young.[(triple11)] Harry is furry.[(triple12)] @1: Bob is green.[(((triple5) -> rule1))]
Anne is not green.
("Anne" "is" "green" "-")
triple1
Anne is not young.
("Anne" "is" "young" "-")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is not young.
("Bob" "is" "young" "-")
triple7
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is not green.
("Dave" "is" "green" "-")
triple9
Dave is not red.
("Dave" "is" "red" "-")
triple10
Dave is not young.
("Dave" "is" "young" "-")
triple11
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Bob is green.
("Bob" "is" "green" "+")
((triple5) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1