Fiona is big. All red, furry things are nice. All big, cold things are nice. If Fiona is smart and Fiona is cold then Fiona is nice. All furry things are big. Rough things are nice. All big things are rough. All nice things are furry. If Fiona is furry then Fiona is big.
Fiona is big.
("Fiona" "is" "big" "+")
All red, furry things are nice.
((("something" "is" "red" "+") ("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
All big, cold things are nice.
((("something" "is" "big" "+") ("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
If Fiona is smart and Fiona is cold then Fiona is nice.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "nice" "+"))
All furry things are big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
Rough things are nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
All big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
All nice things are furry.
((("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
If Fiona is furry then Fiona is big.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "big" "+"))
Fiona is big.
True
1
proof
[(triple1)]
("Fiona" "is" "big" "+")
triple1
Fiona is not big.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "big" "-")
triple1
Fiona is rough.
True
2
proof
[(((triple1) -> rule6))]
("Fiona" "is" "rough" "+")
((triple1) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple1) -> rule6))]
("Fiona" "is" "rough" "-")
((triple1) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
True
3
proof
[(((((triple1) -> rule6)) -> rule5))]
("Fiona" "is" "nice" "+")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not nice.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule5))]
("Fiona" "is" "nice" "-")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is furry.
True
4
proof
[(((((((triple1) -> rule6)) -> rule5)) -> rule7))]
("Fiona" "is" "furry" "+")
((((((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is not furry.
False
4
inv-proof
[(((((((triple1) -> rule6)) -> rule5)) -> rule7))]
("Fiona" "is" "furry" "-")
((((((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Fiona is big.[(triple1)] @1: Fiona is rough.[(((triple1) -> rule6))] @2: Fiona is nice.[(((((triple1) -> rule6)) -> rule5))] @3: Fiona is furry.[(((((((triple1) -> rule6)) -> rule5)) -> rule7))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple1) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((((((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3