Bob is green. Bob is kind. Bob is not quiet. Bob is red. Bob is round. Bob is white. Harry is furry. Harry is not green. Harry is quiet. Harry is round. If Bob is green and Bob is not red then Bob is furry. If Harry is not green then Harry is not red. If Harry is not quiet then Harry is not furry.
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not quiet.
("Bob" "is" "quiet" "-")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
If Bob is green and Bob is not red then Bob is furry.
((("Bob" "is" "green" "+") ("Bob" "is" "red" "~")) -> ("Bob" "is" "furry" "+"))
If Harry is not green then Harry is not red.
((("Harry" "is" "green" "~")) -> ("Harry" "is" "red" "-"))
If Harry is not quiet then Harry is not furry.
((("Harry" "is" "quiet" "~")) -> ("Harry" "is" "furry" "-"))
Bob is white.
True
1
proof
[(triple6)]
("Bob" "is" "white" "+")
triple6
Bob is not round.
False
1
inv-proof
[(triple5)]
("Bob" "is" "round" "-")
triple5
Harry is not red.
True
2
proof
[(((triple8) -> rule2))]
("Harry" "is" "red" "-")
((triple8) -> (rule2 % int1))
Harry is not red.
("Harry" "is" "red" "-")
int1
Harry is red.
False
2
inv-proof
[(((triple8) -> rule2))]
("Harry" "is" "red" "+")
((triple8) -> (rule2 % int1))
Harry is not red.
("Harry" "is" "red" "-")
int1
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "furry" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is not quiet.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6)] Harry is furry.[(triple7)] Harry is not green.[(triple8)] Harry is quiet.[(triple9)] Harry is round.[(triple10)] @1: Harry is not red.[(((triple8) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7
Harry is not green.
("Harry" "is" "green" "-")
triple8
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is not red.
("Harry" "is" "red" "-")
((triple8) -> (rule2 % int1))
Harry is not red.
("Harry" "is" "red" "-")
int1