Erin is not red. Fiona is green. All quiet people are blue. Green people are young. If someone is young then they are quiet.
Erin is not red.
("Erin" "is" "red" "-")
Fiona is green.
("Fiona" "is" "green" "+")
All quiet people are blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
Green people are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is young then they are quiet.
((("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
Fiona is green.
True
1
proof
[(triple2)]
("Fiona" "is" "green" "+")
triple2
Erin is red.
False
1
inv-proof
[(triple1)]
("Erin" "is" "red" "+")
triple1
Fiona is young.
True
2
proof
[(((triple2) -> rule2))]
("Fiona" "is" "young" "+")
((triple2) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple2) -> rule2))]
("Fiona" "is" "young" "-")
((triple2) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "young" "-")
Erin is blue.
Unknown
rconc
[@3: Erin is blue.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule2 <- FAIL)]]
("Erin" "is" "blue" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Erin is not red.[(triple1)] Fiona is green.[(triple2)] @1: Fiona is young.[(((triple2) -> rule2))] @2: Fiona is quiet.[(((((triple2) -> rule2)) -> rule3))] @3: Fiona is blue.[(((((((triple2) -> rule2)) -> rule3)) -> rule1))]
Erin is not red.
("Erin" "is" "red" "-")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
((triple2) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3