Fiona is round. Gary is blue. Blue things are quiet. Smart, quiet things are white. If something is smart and blue then it is cold.
Fiona is round.
("Fiona" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Blue things are quiet.
((("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
Smart, quiet things are white.
((("something" "is" "smart" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
If something is smart and blue then it is cold.
((("something" "is" "smart" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
Fiona is round.
True
1
proof
[(triple1)]
("Fiona" "is" "round" "+")
triple1
Fiona is not round.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "round" "-")
triple1
Gary is quiet.
True
2
proof
[(((triple2) -> rule1))]
("Gary" "is" "quiet" "+")
((triple2) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is not quiet.
False
2
inv-proof
[(((triple2) -> rule1))]
("Gary" "is" "quiet" "-")
((triple2) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "white" "-")
Fiona is cold.
Unknown
rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Fiona is round.[(triple1)] Gary is blue.[(triple2)] @1: Gary is quiet.[(((triple2) -> rule1))]
Fiona is round.
("Fiona" "is" "round" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple2) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1