Bob is kind. Bob is round. Bob is white. Fiona is not kind. Fiona is not nice. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is white. Gary is round. Nice people are not quiet. If someone is quiet and not white then they are furry. If someone is nice then they are kind. If someone is furry and not quiet then they are round. All furry people are round. Kind, round people are smart. If someone is kind and not nice then they are smart. If someone is round and not kind then they are smart.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is round.
("Gary" "is" "round" "+")
Nice people are not quiet.
((("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "-"))
If someone is quiet and not white then they are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "furry" "+"))
If someone is nice then they are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is furry and not quiet then they are round.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "round" "+"))
All furry people are round.
((("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
Kind, round people are smart.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
If someone is kind and not nice then they are smart.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "smart" "+"))
If someone is round and not kind then they are smart.
((("someone" "is" "round" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "smart" "+"))
Bob is kind.
True
1
proof
[(triple1)]
("Bob" "is" "kind" "+")
triple1
Bob is not round.
False
1
inv-proof
[(triple2)]
("Bob" "is" "round" "-")
triple2
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "furry" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Bob is kind.[(triple1)] Bob is round.[(triple2)] Bob is white.[(triple3)] Fiona is not kind.[(triple4)] Fiona is not nice.[(triple5)] Fiona is quiet.[(triple6)] Fiona is round.[(triple7)] Fiona is smart.[(triple8 OR ((triple7 triple4) -> rule8))] Fiona is white.[(triple9)] Gary is round.[(triple10)] @1: Bob is smart.[(((triple1 triple2) -> rule6))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple4
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
((triple7 triple4) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Bob is smart.
("Bob" "is" "smart" "+")
((triple1 triple2) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1