Charlie is not red. Fiona is kind. Gary is young. All kind people are round. If someone is kind then they are smart. All kind, white people are red. If Fiona is round then Fiona is green. If Fiona is smart and Fiona is not round then Fiona is green. If Fiona is green then Fiona is not red. All red people are not young. Round people are young.
Charlie is not red.
("Charlie" "is" "red" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
All kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is kind then they are smart.
((("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
All kind, white people are red.
((("someone" "is" "kind" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
If Fiona is round then Fiona is green.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "green" "+"))
If Fiona is smart and Fiona is not round then Fiona is green.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "round" "~")) -> ("Fiona" "is" "green" "+"))
If Fiona is green then Fiona is not red.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "red" "-"))
All red people are not young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "-"))
Round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Gary is young.
True
1
proof
[(triple3)]
("Gary" "is" "young" "+")
triple3
Charlie is red.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "red" "+")
triple1
Fiona is round.
True
2
proof
[(((triple2) -> rule1))]
("Fiona" "is" "round" "+")
((triple2) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple2) -> rule1))]
("Fiona" "is" "round" "-")
((triple2) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
True
3
proof
[(((((triple2) -> rule1)) -> rule4))]
("Fiona" "is" "green" "+")
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not young.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule8))]
("Fiona" "is" "young" "-")
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not red.
True
4
proof
[(((((((triple2) -> rule1)) -> rule4)) -> rule6))]
("Fiona" "is" "red" "-")
((((((triple2) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is red.
False
4
inv-proof
[(((((((triple2) -> rule1)) -> rule4)) -> rule6))]
("Fiona" "is" "red" "+")
((((((triple2) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Gary is not smart.
Unknown
inv-rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "smart" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "red" "+")
Charlie is not young.
Unknown
inv-rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule8 <- rule1 <- FAIL)]]
("Charlie" "is" "young" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Charlie is not red.[(triple1)] Fiona is kind.[(triple2)] Gary is young.[(triple3)] @1: Fiona is round.[(((triple2) -> rule1))] Fiona is smart.[(((triple2) -> rule2))] @2: Fiona is green.[(((((triple2) -> rule1)) -> rule4))] Fiona is young.[(((((triple2) -> rule1)) -> rule8))] @3: Fiona is not red.[(((((((triple2) -> rule1)) -> rule4)) -> rule6))]
Charlie is not red.
("Charlie" "is" "red" "-")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Gary is young.
("Gary" "is" "young" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
((triple2) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple2) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not red.
("Fiona" "is" "red" "-")
((((((triple2) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3