Fiona is furry. White, big things are quiet. All round, white things are furry. All cold things are round. If something is big and quiet then it is white. All furry things are round. Round things are big.
Fiona is furry.
("Fiona" "is" "furry" "+")
White, big things are quiet.
((("something" "is" "white" "+") ("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
All round, white things are furry.
((("something" "is" "round" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
All cold things are round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
If something is big and quiet then it is white.
((("something" "is" "big" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
All furry things are round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
Round things are big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
Fiona is furry.
True
1
proof
[(triple1)]
("Fiona" "is" "furry" "+")
triple1
Fiona is not furry.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "furry" "-")
triple1
Fiona is round.
True
2
proof
[(((triple1) -> rule5))]
("Fiona" "is" "round" "+")
((triple1) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple1) -> rule5))]
("Fiona" "is" "round" "-")
((triple1) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
True
3
proof
[(((((triple1) -> rule5)) -> rule6))]
("Fiona" "is" "big" "+")
((((triple1) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not big.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule6))]
("Fiona" "is" "big" "-")
((((triple1) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not white.
Unknown
inv-rconc
[@2: Fiona is white.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is quiet.
Unknown
rconc
[@2: Fiona is quiet.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Fiona" "is" "quiet" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Fiona is furry.[(triple1)] @1: Fiona is round.[(((triple1) -> rule5))] @2: Fiona is big.[(((((triple1) -> rule5)) -> rule6))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Fiona is round.
("Fiona" "is" "round" "+")
((triple1) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((((triple1) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2