Fiona is red. Gary is blue. Gary is rough. If Fiona is nice then Fiona is blue. If something is rough and blue then it is kind. All nice things are kind. All red things are rough. If something is nice then it is rough. If something is red and not white then it is not rough. If Gary is red then Gary is young. If Fiona is not rough and Fiona is not kind then Fiona is young.
Fiona is red.
("Fiona" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If Fiona is nice then Fiona is blue.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "blue" "+"))
If something is rough and blue then it is kind.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
All nice things are kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
All red things are rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If something is nice then it is rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
If something is red and not white then it is not rough.
((("something" "is" "red" "+") ("something" "is" "white" "~")) -> ("something" "is" "rough" "-"))
If Gary is red then Gary is young.
((("Gary" "is" "red" "+")) -> ("Gary" "is" "young" "+"))
If Fiona is not rough and Fiona is not kind then Fiona is young.
((("Fiona" "is" "rough" "~") ("Fiona" "is" "kind" "~")) -> ("Fiona" "is" "young" "+"))
Gary is rough.
True
1
proof
[(triple3)]
("Gary" "is" "rough" "+")
triple3
Gary is not blue.
False
1
inv-proof
[(triple2)]
("Gary" "is" "blue" "-")
triple2
Fiona is rough.
True
2
proof
[(((triple1) -> rule4))]
("Fiona" "is" "rough" "+")
((triple1) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple1) -> rule4))]
("Fiona" "is" "rough" "-")
((triple1) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "young" "-")
Fiona is kind.
Unknown
rconc
[@2: Fiona is kind.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Fiona" "is" "kind" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Fiona is red.[(triple1)] Gary is blue.[(triple2)] Gary is rough.[(triple3)] @1: Fiona is rough.[(((triple1) -> rule4))] Gary is kind.[(((triple3 triple2) -> rule2))]
Fiona is red.
("Fiona" "is" "red" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple2
Gary is rough.
("Gary" "is" "rough" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple1) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple3 triple2) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1