Bob is quiet. Bob is red. Harry is not cold. Harry is not furry. Harry is not red. Harry is smart. Harry is white. If someone is white and not quiet then they are red. Red people are not white. If someone is quiet and not red then they are young. If someone is young then they are furry. Cold, white people are not smart. All furry people are smart. Young people are not cold. If someone is red and not furry then they are cold.
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is not red.
("Harry" "is" "red" "-")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is white and not quiet then they are red.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "red" "+"))
Red people are not white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "-"))
If someone is quiet and not red then they are young.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "young" "+"))
If someone is young then they are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
Cold, white people are not smart.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "smart" "-"))
All furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
Young people are not cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "-"))
If someone is red and not furry then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "cold" "+"))
Harry is not cold.
True
1
proof
[(triple3)]
("Harry" "is" "cold" "-")
triple3
Harry is furry.
False
1
inv-proof
[(triple4)]
("Harry" "is" "furry" "+")
triple4
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Bob is quiet.[(triple1)] Bob is red.[(triple2)] Harry is not cold.[(triple3)] Harry is not furry.[(triple4)] Harry is not red.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7)] @1: Bob is not white.[(((triple2) -> rule2))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Harry is not cold.
("Harry" "is" "cold" "-")
triple3
Harry is not furry.
("Harry" "is" "furry" "-")
triple4
Harry is not red.
("Harry" "is" "red" "-")
triple5
Harry is smart.
("Harry" "is" "smart" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Bob is not white.
("Bob" "is" "white" "-")
((triple2) -> (rule2 % int1))
Bob is not white.
("Bob" "is" "white" "-")
int1