Charlie is furry. Charlie is not green. Charlie is quiet. Charlie is smart. Charlie is white. Dave is not green. Dave is quiet. Dave is not white. Erin is furry. Erin is not quiet. If someone is furry then they are blue. If someone is smart and not furry then they are not kind.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is not white.
("Dave" "is" "white" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
If someone is furry then they are blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If someone is smart and not furry then they are not kind.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "kind" "-"))
Charlie is furry.
True
1
proof
[(triple1)]
("Charlie" "is" "furry" "+")
triple1
Dave is green.
False
1
inv-proof
[(triple6)]
("Dave" "is" "green" "+")
triple6
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "blue" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Charlie is furry.[(triple1)] Charlie is not green.[(triple2)] Charlie is quiet.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Dave is not green.[(triple6)] Dave is not white.[(triple8)] Dave is quiet.[(triple7)] Erin is furry.[(triple9)] Erin is not quiet.[(triple10)] @1: Charlie is blue.[(((triple1) -> rule1))] Erin is blue.[(((triple9) -> rule1))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is not green.
("Charlie" "is" "green" "-")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Dave is not green.
("Dave" "is" "green" "-")
triple6
Dave is not white.
("Dave" "is" "white" "-")
triple8
Dave is quiet.
("Dave" "is" "quiet" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple10
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple9) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1