Anne is rough. Erin is not white. Fiona is rough. Gary is white. If something is rough then it is not kind. Young things are not kind. White, rough things are kind. If something is rough then it is not smart. If Anne is rough and Anne is young then Anne is not smart. If Erin is round then Erin is kind. Young things are red. If something is rough and not kind then it is red.
Anne is rough.
("Anne" "is" "rough" "+")
Erin is not white.
("Erin" "is" "white" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
If something is rough then it is not kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "-"))
Young things are not kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "-"))
White, rough things are kind.
((("something" "is" "white" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If something is rough then it is not smart.
((("something" "is" "rough" "+")) -> ("something" "is" "smart" "-"))
If Anne is rough and Anne is young then Anne is not smart.
((("Anne" "is" "rough" "+") ("Anne" "is" "young" "+")) -> ("Anne" "is" "smart" "-"))
If Erin is round then Erin is kind.
((("Erin" "is" "round" "+")) -> ("Erin" "is" "kind" "+"))
Young things are red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
If something is rough and not kind then it is red.
((("something" "is" "rough" "+") ("something" "is" "kind" "~")) -> ("something" "is" "red" "+"))
Fiona is rough.
True
1
proof
[(triple3)]
("Fiona" "is" "rough" "+")
triple3
Gary is not white.
False
1
inv-proof
[(triple4)]
("Gary" "is" "white" "-")
triple4
Fiona is not smart.
True
2
proof
[(((triple3) -> rule4))]
("Fiona" "is" "smart" "-")
((triple3) -> (rule4 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Anne is smart.
False
2
inv-proof
[(((triple1) -> rule4))]
("Anne" "is" "smart" "+")
((triple1) -> (rule4 % int1))
Anne is not smart.
("Anne" "is" "smart" "-")
int1
Anne is red.
True
4
proof
[(((triple1 ((triple1) -> rule1)) -> rule8))]
("Anne" "is" "red" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is not kind.
("Anne" "is" "kind" "-")
int2
Fiona is not red.
False
4
inv-proof
[(((triple3 ((triple3) -> rule1)) -> rule8))]
("Fiona" "is" "red" "-")
((triple3 ((triple3) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not kind.
("Fiona" "is" "kind" "-")
int2
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "red" "-")
Erin is kind.
Unknown
rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "kind" "+")
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "red" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Anne is rough.[(triple1)] Erin is not white.[(triple2)] Fiona is rough.[(triple3)] Gary is white.[(triple4)] @1: Anne is not kind.[(((triple1) -> rule1))] Anne is not smart.[(((triple1) -> rule4))] Fiona is not kind.[(((triple3) -> rule1))] Fiona is not smart.[(((triple3) -> rule4))] @2: Anne is red.[(((triple1 ((triple1) -> rule1)) -> rule8))] Fiona is red.[(((triple3 ((triple3) -> rule1)) -> rule8))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Erin is not white.
("Erin" "is" "white" "-")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Gary is white.
("Gary" "is" "white" "+")
triple4
Anne is not kind.
("Anne" "is" "kind" "-")
((triple1) -> (rule1 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1
Anne is not smart.
("Anne" "is" "smart" "-")
((triple1) -> (rule4 % int1))
Anne is not smart.
("Anne" "is" "smart" "-")
int1
Fiona is not kind.
("Fiona" "is" "kind" "-")
((triple3) -> (rule1 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is not smart.
("Fiona" "is" "smart" "-")
((triple3) -> (rule4 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Anne is red.
("Anne" "is" "red" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is not kind.
("Anne" "is" "kind" "-")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((triple3 ((triple3) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not kind.
("Fiona" "is" "kind" "-")
int2