Fiona is smart. Cold things are quiet. If Fiona is smart then Fiona is cold. All young, blue things are quiet. If something is young then it is quiet. If something is quiet then it is blue. If Fiona is green then Fiona is red.
Fiona is smart.
("Fiona" "is" "smart" "+")
Cold things are quiet.
((("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
If Fiona is smart then Fiona is cold.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "cold" "+"))
All young, blue things are quiet.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
If something is young then it is quiet.
((("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
If something is quiet then it is blue.
((("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
If Fiona is green then Fiona is red.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "red" "+"))
Fiona is smart.
True
1
proof
[(triple1)]
("Fiona" "is" "smart" "+")
triple1
Fiona is not smart.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "smart" "-")
triple1
Fiona is cold.
True
2
proof
[(((triple1) -> rule2))]
("Fiona" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple1) -> rule2))]
("Fiona" "is" "cold" "-")
((triple1) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("Fiona" "is" "quiet" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not quiet.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("Fiona" "is" "quiet" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "red" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Fiona is smart.[(triple1)] @1: Fiona is cold.[(((triple1) -> rule2))] @2: Fiona is quiet.[(((((triple1) -> rule2)) -> rule1))] @3: Fiona is blue.[(((((((triple1) -> rule2)) -> rule1)) -> rule5))]
Fiona is smart.
("Fiona" "is" "smart" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3