Anne is round. Charlie is nice. Erin is rough. Harry is rough. All rough, red people are kind. Red people are green. Nice people are rough.
Anne is round.
("Anne" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All rough, red people are kind.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Harry is rough.
True
1
proof
[(triple4)]
("Harry" "is" "rough" "+")
triple4
Erin is not rough.
False
1
inv-proof
[(triple3)]
("Erin" "is" "rough" "-")
triple3
Charlie is rough.
True
2
proof
[(((triple2) -> rule3))]
("Charlie" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
2
inv-proof
[(((triple2) -> rule3))]
("Charlie" "is" "rough" "-")
((triple2) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Anne is not rough.
Unknown
inv-rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "rough" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "green" "+")
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Anne is round.[(triple1)] Charlie is nice.[(triple2)] Erin is rough.[(triple3)] Harry is rough.[(triple4)] @1: Charlie is rough.[(((triple2) -> rule3))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Harry is rough.
("Harry" "is" "rough" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1