Anne is rough. Fiona is young. Gary is not young. Harry is red. All white, rough people are kind. Kind people are green. If Fiona is white then Fiona is green. All smart people are rough. If Gary is smart then Gary is kind. Red people are white.
Anne is rough.
("Anne" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is not young.
("Gary" "is" "young" "-")
Harry is red.
("Harry" "is" "red" "+")
All white, rough people are kind.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Kind people are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If Fiona is white then Fiona is green.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "green" "+"))
All smart people are rough.
((("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
If Gary is smart then Gary is kind.
((("Gary" "is" "smart" "+")) -> ("Gary" "is" "kind" "+"))
Red people are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Anne is rough.
True
1
proof
[(triple1)]
("Anne" "is" "rough" "+")
triple1
Anne is not rough.
False
1
inv-proof
[(triple1)]
("Anne" "is" "rough" "-")
triple1
Harry is white.
True
2
proof
[(((triple4) -> rule6))]
("Harry" "is" "white" "+")
((triple4) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is not white.
False
2
inv-proof
[(((triple4) -> rule6))]
("Harry" "is" "white" "-")
((triple4) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Gary is not green.
Unknown
inv-rconc
[@3: Gary is green.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule6 <- FAIL)]]
("Gary" "is" "green" "-")
Fiona is kind.
Unknown
rconc
[@2: Fiona is kind.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Fiona" "is" "kind" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is rough.[(triple1)] Fiona is young.[(triple2)] Gary is not young.[(triple3)] Harry is red.[(triple4)] @1: Harry is white.[(((triple4) -> rule6))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Fiona is young.
("Fiona" "is" "young" "+")
triple2
Gary is not young.
("Gary" "is" "young" "-")
triple3
Harry is red.
("Harry" "is" "red" "+")
triple4
Harry is white.
("Harry" "is" "white" "+")
((triple4) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1