Fiona is red. If Fiona is young and Fiona is round then Fiona is green. If something is quiet then it is blue. Quiet things are round. If something is red then it is blue. If Fiona is blue then Fiona is green. If something is green then it is young. Round things are nice. All quiet things are round.
Fiona is red.
("Fiona" "is" "red" "+")
If Fiona is young and Fiona is round then Fiona is green.
((("Fiona" "is" "young" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "green" "+"))
If something is quiet then it is blue.
((("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
Quiet things are round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
If something is red then it is blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
If Fiona is blue then Fiona is green.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "green" "+"))
If something is green then it is young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
Round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
All quiet things are round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
Fiona is red.
True
1
proof
[(triple1)]
("Fiona" "is" "red" "+")
triple1
Fiona is not red.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "red" "-")
triple1
Fiona is blue.
True
2
proof
[(((triple1) -> rule4))]
("Fiona" "is" "blue" "+")
((triple1) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple1) -> rule4))]
("Fiona" "is" "blue" "-")
((triple1) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
True
3
proof
[(((((triple1) -> rule4)) -> rule5))]
("Fiona" "is" "green" "+")
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not green.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule5))]
("Fiona" "is" "green" "-")
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
True
4
proof
[(((((((triple1) -> rule4)) -> rule5)) -> rule6))]
("Fiona" "is" "young" "+")
((((((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is not young.
False
4
inv-proof
[(((((((triple1) -> rule4)) -> rule5)) -> rule6))]
("Fiona" "is" "young" "-")
((((((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "round" "-")
Fiona is nice.
Unknown
rconc
[@2: Fiona is nice.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Fiona" "is" "nice" "+")
@0: Fiona is red.[(triple1)] @1: Fiona is blue.[(((triple1) -> rule4))] @2: Fiona is green.[(((((triple1) -> rule4)) -> rule5))] @3: Fiona is young.[(((((((triple1) -> rule4)) -> rule5)) -> rule6))]
Fiona is red.
("Fiona" "is" "red" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple1) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((((((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3