Fiona is rough. Gary is young. If Gary is green and Gary is red then Gary is rough. All green people are nice. All young people are rough. If someone is red then they are green. If Fiona is red then Fiona is rough. Young people are rough. All green, rough people are young. All red, nice people are young.
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
If Gary is green and Gary is red then Gary is rough.
((("Gary" "is" "green" "+") ("Gary" "is" "red" "+")) -> ("Gary" "is" "rough" "+"))
All green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
All young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is red then they are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If Fiona is red then Fiona is rough.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "rough" "+"))
Young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
All green, rough people are young.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
All red, nice people are young.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Fiona is rough.
True
1
proof
[(triple1)]
("Fiona" "is" "rough" "+")
triple1
Gary is not young.
False
1
inv-proof
[(triple2)]
("Gary" "is" "young" "-")
triple2
Gary is rough.
True
2
proof
[(((triple2) -> rule3) OR ((triple2) -> rule6))]
("Gary" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple2) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
2
inv-proof
[(((triple2) -> rule3) OR ((triple2) -> rule6))]
("Gary" "is" "rough" "-")
((triple2) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple2) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Fiona is not nice.
Unknown
inv-rconc
[@2: Fiona is nice.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Fiona" "is" "nice" "-")
Gary is nice.
Unknown
rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Gary" "is" "nice" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Fiona is rough.[(triple1)] Gary is young.[(triple2)] @1: Gary is rough.[(((triple2) -> rule3) OR ((triple2) -> rule6))]
Fiona is rough.
("Fiona" "is" "rough" "+")
triple1
Gary is young.
("Gary" "is" "young" "+")
triple2
Gary is rough.
("Gary" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple2) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1