Anne is red. Charlie is white. Dave is cold. Fiona is smart. All white people are not smart. If Dave is white then Dave is not red. If Dave is cold then Dave is white. If Dave is not white then Dave is furry. Furry people are quiet. All furry people are quiet. All smart people are green. All furry, red people are not green.
Anne is red.
("Anne" "is" "red" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All white people are not smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "-"))
If Dave is white then Dave is not red.
((("Dave" "is" "white" "+")) -> ("Dave" "is" "red" "-"))
If Dave is cold then Dave is white.
((("Dave" "is" "cold" "+")) -> ("Dave" "is" "white" "+"))
If Dave is not white then Dave is furry.
((("Dave" "is" "white" "~")) -> ("Dave" "is" "furry" "+"))
Furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
All furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
All smart people are green.
((("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
All furry, red people are not green.
((("someone" "is" "furry" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "-"))
Fiona is smart.
True
1
proof
[(triple4)]
("Fiona" "is" "smart" "+")
triple4
Fiona is not smart.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "smart" "-")
triple4
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "green" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is red.[(triple1)] Charlie is white.[(triple2)] Dave is cold.[(triple3)] Fiona is smart.[(triple4)] @1: Charlie is not smart.[(((triple2) -> rule1))] Dave is white.[(((triple3) -> rule3))] Fiona is green.[(((triple4) -> rule7))] @2: Dave is not red.[(((((triple3) -> rule3)) -> rule2))] Dave is not smart.[(((((triple3) -> rule3)) -> rule1))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Charlie is white.
("Charlie" "is" "white" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Charlie is not smart.
("Charlie" "is" "smart" "-")
((triple2) -> (rule1 % int1))
Charlie is not smart.
("Charlie" "is" "smart" "-")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple3) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple4) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Dave is not red.
("Dave" "is" "red" "-")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Dave is not red.
("Dave" "is" "red" "-")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is not smart.
("Dave" "is" "smart" "-")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Dave is not smart.
("Dave" "is" "smart" "-")
int1
Dave is white.
("Dave" "is" "white" "+")
int2