Fiona is green. All kind, cold people are young. If someone is cold then they are big. If someone is kind and nice then they are green. Kind people are cold. If Fiona is green then Fiona is kind. If Fiona is nice then Fiona is young.
Fiona is green.
("Fiona" "is" "green" "+")
All kind, cold people are young.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is cold then they are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and nice then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Kind people are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If Fiona is green then Fiona is kind.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "kind" "+"))
If Fiona is nice then Fiona is young.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "young" "+"))
Fiona is green.
True
1
proof
[(triple1)]
("Fiona" "is" "green" "+")
triple1
Fiona is not green.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "green" "-")
triple1
Fiona is kind.
True
2
proof
[(((triple1) -> rule5))]
("Fiona" "is" "kind" "+")
((triple1) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple1) -> rule5))]
("Fiona" "is" "kind" "-")
((triple1) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
True
3
proof
[(((((triple1) -> rule5)) -> rule4))]
("Fiona" "is" "cold" "+")
((((triple1) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not cold.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule4))]
("Fiona" "is" "cold" "-")
((((triple1) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
True
4
proof
[(((((((triple1) -> rule5)) -> rule4)) -> rule2))]
("Fiona" "is" "big" "+")
((((((triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not young.
False
6
inv-proof
[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule4)) -> rule1))]
("Fiona" "is" "young" "-")
((((triple1) -> (rule5 % int3)) ((((triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Fiona is green.[(triple1)] @1: Fiona is kind.[(((triple1) -> rule5))] @2: Fiona is cold.[(((((triple1) -> rule5)) -> rule4))] @3: Fiona is big.[(((((((triple1) -> rule5)) -> rule4)) -> rule2))] Fiona is young.[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule4)) -> rule1))]
Fiona is green.
("Fiona" "is" "green" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple1) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple1) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((((((triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
((((triple1) -> (rule5 % int3)) ((((triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3