Fiona is green. Smart people are cold. Smart people are cold. Green people are smart. If someone is smart and not rough then they are not blue. If Fiona is blue then Fiona is smart. If Fiona is cold then Fiona is not young.
Fiona is green.
("Fiona" "is" "green" "+")
Smart people are cold.
((("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
Smart people are cold.
((("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
Green people are smart.
((("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
If someone is smart and not rough then they are not blue.
((("someone" "is" "smart" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "blue" "-"))
If Fiona is blue then Fiona is smart.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "smart" "+"))
If Fiona is cold then Fiona is not young.
((("Fiona" "is" "cold" "+")) -> ("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 smart.
True
2
proof
[(((triple1) -> rule3))]
("Fiona" "is" "smart" "+")
((triple1) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple1) -> rule3))]
("Fiona" "is" "smart" "-")
((triple1) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
True
3
proof
[(((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule3)) -> rule2))]
("Fiona" "is" "cold" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not cold.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule3)) -> rule2))]
("Fiona" "is" "cold" "-")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not young.
True
4
proof
[(((((((triple1) -> rule3)) -> rule1)) -> rule6) OR ((((((triple1) -> rule3)) -> rule2)) -> rule6))]
("Fiona" "is" "young" "-")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is young.
False
4
inv-proof
[(((((((triple1) -> rule3)) -> rule1)) -> rule6) OR ((((((triple1) -> rule3)) -> rule2)) -> rule6))]
("Fiona" "is" "young" "+")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
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 smart.[(((triple1) -> rule3))] @2: Fiona is cold.[(((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule3)) -> rule2))] @3: Fiona is not young.[(((((((triple1) -> rule3)) -> rule1)) -> rule6) OR ((((((triple1) -> rule3)) -> rule2)) -> rule6))]
Fiona is green.
("Fiona" "is" "green" "+")
triple1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple1) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not young.
("Fiona" "is" "young" "-")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3