Fiona is blue. Gary is smart. Blue, quiet things are kind. If Fiona is blue then Fiona is young. If Fiona is young and Fiona is not blue then Fiona is quiet. If Fiona is not blue then Fiona is smart. If Fiona is young then Fiona is smart. All quiet, kind things are young. Kind, young things are not red. If Fiona is young then Fiona is kind.
Fiona is blue.
("Fiona" "is" "blue" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Blue, quiet things are kind.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
If Fiona is blue then Fiona is young.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "young" "+"))
If Fiona is young and Fiona is not blue then Fiona is quiet.
((("Fiona" "is" "young" "+") ("Fiona" "is" "blue" "~")) -> ("Fiona" "is" "quiet" "+"))
If Fiona is not blue then Fiona is smart.
((("Fiona" "is" "blue" "~")) -> ("Fiona" "is" "smart" "+"))
If Fiona is young then Fiona is smart.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "smart" "+"))
All quiet, kind things are young.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
Kind, young things are not red.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "-"))
If Fiona is young then Fiona is kind.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "kind" "+"))
Fiona is blue.
True
1
proof
[(triple1)]
("Fiona" "is" "blue" "+")
triple1
Fiona is not blue.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "blue" "-")
triple1
Fiona is young.
True
2
proof
[(((triple1) -> rule2))]
("Fiona" "is" "young" "+")
((triple1) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple1) -> rule2))]
("Fiona" "is" "young" "-")
((triple1) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
True
3
proof
[(((((triple1) -> rule2)) -> rule8))]
("Fiona" "is" "kind" "+")
((((triple1) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not smart.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule5))]
("Fiona" "is" "smart" "-")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not red.
True
6
proof
[(((((((triple1) -> rule2)) -> rule8) ((triple1) -> rule2)) -> rule7))]
("Fiona" "is" "red" "-")
((((((triple1) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1) -> (rule2 % int3))) -> (rule7 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is red.
False
6
inv-proof
[(((((((triple1) -> rule2)) -> rule8) ((triple1) -> rule2)) -> rule7))]
("Fiona" "is" "red" "+")
((((((triple1) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1) -> (rule2 % int3))) -> (rule7 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "+")
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Fiona is blue.[(triple1)] Gary is smart.[(triple2)] @1: Fiona is young.[(((triple1) -> rule2))] @2: Fiona is kind.[(((((triple1) -> rule2)) -> rule8))] Fiona is smart.[(((((triple1) -> rule2)) -> rule5))] @3: Fiona is not red.[(((((((triple1) -> rule2)) -> rule8) ((triple1) -> rule2)) -> rule7))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Gary is smart.
("Gary" "is" "smart" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
((triple1) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple1) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not red.
("Fiona" "is" "red" "-")
((((((triple1) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1) -> (rule2 % int3))) -> (rule7 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3