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