Fiona is white. If someone is green and not white then they are young. If someone is round and cold then they are green. All white people are blue. Young people are not quiet. If someone is cold then they are round. Blue people are cold.
Fiona is white.
("Fiona" "is" "white" "+")
If someone is green and not white then they are young.
((("someone" "is" "green" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "young" "+"))
If someone is round and cold then they are green.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
All white people are blue.
((("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Young people are not quiet.
((("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "-"))
If someone is cold then they are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Fiona is white.
True
1
proof
[(triple1)]
("Fiona" "is" "white" "+")
triple1
Fiona is not white.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "white" "-")
triple1
Fiona is blue.
True
2
proof
[(((triple1) -> rule3))]
("Fiona" "is" "blue" "+")
((triple1) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple1) -> rule3))]
("Fiona" "is" "blue" "-")
((triple1) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
True
3
proof
[(((((triple1) -> rule3)) -> rule6))]
("Fiona" "is" "cold" "+")
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not cold.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule6))]
("Fiona" "is" "cold" "-")
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is round.
True
4
proof
[(((((((triple1) -> rule3)) -> rule6)) -> rule5))]
("Fiona" "is" "round" "+")
((((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is not round.
False
4
inv-proof
[(((((((triple1) -> rule3)) -> rule6)) -> rule5))]
("Fiona" "is" "round" "-")
((((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "young" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Fiona is white.[(triple1)] @1: Fiona is blue.[(((triple1) -> rule3))] @2: Fiona is cold.[(((((triple1) -> rule3)) -> rule6))] @3: Fiona is round.[(((((((triple1) -> rule3)) -> rule6)) -> rule5))] @4: Fiona is green.[(((((((((triple1) -> rule3)) -> rule6)) -> rule5) ((((triple1) -> rule3)) -> rule6)) -> rule2))]
Fiona is white.
("Fiona" "is" "white" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple1) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
((((((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4