Anne is red. Anne is white. Bob is blue. Bob is furry. Bob is not young. Harry is not white. Harry is young. All furry things are big. If something is young and not furry then it is not big. If something is furry then it is rough.
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not young.
("Bob" "is" "young" "-")
Harry is not white.
("Harry" "is" "white" "-")
Harry is young.
("Harry" "is" "young" "+")
All furry things are big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
If something is young and not furry then it is not big.
((("something" "is" "young" "+") ("something" "is" "furry" "~")) -> ("something" "is" "big" "-"))
If something is furry then it is rough.
((("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
Bob is furry.
True
1
proof
[(triple4)]
("Bob" "is" "furry" "+")
triple4
Bob is not furry.
False
1
inv-proof
[(triple4)]
("Bob" "is" "furry" "-")
triple4
Bob is rough.
True
2
proof
[(((triple4) -> rule3))]
("Bob" "is" "rough" "+")
((triple4) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
2
inv-proof
[(((triple4) -> rule3))]
("Bob" "is" "rough" "-")
((triple4) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "rough" "-")
Anne is rough.
Unknown
rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "rough" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is red.[(triple1)] Anne is white.[(triple2)] Bob is blue.[(triple3)] Bob is furry.[(triple4)] Bob is not young.[(triple5)] Harry is not white.[(triple6)] Harry is young.[(triple7)] @1: Bob is big.[(((triple4) -> rule1))] Bob is rough.[(((triple4) -> rule3))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is furry.
("Bob" "is" "furry" "+")
triple4
Bob is not young.
("Bob" "is" "young" "-")
triple5
Harry is not white.
("Harry" "is" "white" "-")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Bob is big.
("Bob" "is" "big" "+")
((triple4) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple4) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1