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