Fiona is furry. If something is big and furry then it is not green. All furry things are big. All round things are big. If Fiona is big and Fiona is not green then Fiona is rough. If something is cold and not big then it is not white. If Fiona is green and Fiona is not rough then Fiona is not cold.
Fiona is furry.
("Fiona" "is" "furry" "+")
If something is big and furry then it is not green.
((("something" "is" "big" "+") ("something" "is" "furry" "+")) -> ("something" "is" "green" "-"))
All furry things are big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
All round things are big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
If Fiona is big and Fiona is not green then Fiona is rough.
((("Fiona" "is" "big" "+") ("Fiona" "is" "green" "~")) -> ("Fiona" "is" "rough" "+"))
If something is cold and not big then it is not white.
((("something" "is" "cold" "+") ("something" "is" "big" "~")) -> ("something" "is" "white" "-"))
If Fiona is green and Fiona is not rough then Fiona is not cold.
((("Fiona" "is" "green" "+") ("Fiona" "is" "rough" "~")) -> ("Fiona" "is" "cold" "-"))
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 big.
True
2
proof
[(((triple1) -> rule2))]
("Fiona" "is" "big" "+")
((triple1) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple1) -> rule2))]
("Fiona" "is" "big" "-")
((triple1) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not green.
True
4
proof
[(((((triple1) -> rule2) triple1) -> rule1))]
("Fiona" "is" "green" "-")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
False
4
inv-proof
[(((((triple1) -> rule2) triple1) -> rule1))]
("Fiona" "is" "green" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is rough.
True
7
proof
[(((((triple1) -> rule2) ((((triple1) -> rule2) triple1) -> rule1)) -> rule4))]
("Fiona" "is" "rough" "+")
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3)) triple1) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is not rough.
False
7
inv-proof
[(((((triple1) -> rule2) ((((triple1) -> rule2) triple1) -> rule1)) -> rule4))]
("Fiona" "is" "rough" "-")
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3)) triple1) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Fiona is furry.[(triple1)] @1: Fiona is big.[(((triple1) -> rule2))] @2: Fiona is not green.[(((((triple1) -> rule2) triple1) -> rule1))] @3: Fiona is rough.[(((((triple1) -> rule2) ((((triple1) -> rule2) triple1) -> rule1)) -> rule4))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
((triple1) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3)) triple1) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3