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