Charlie is rough. Erin is round. Fiona is cold. Gary is rough. All round people are kind. All smart, kind people are cold. All blue, kind people are rough.
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All round people are kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
All smart, kind people are cold.
((("someone" "is" "smart" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
All blue, kind people are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Erin is round.
True
1
proof
[(triple2)]
("Erin" "is" "round" "+")
triple2
Gary is not rough.
False
1
inv-proof
[(triple4)]
("Gary" "is" "rough" "-")
triple4
Erin is kind.
True
2
proof
[(((triple2) -> rule1))]
("Erin" "is" "kind" "+")
((triple2) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not kind.
False
2
inv-proof
[(((triple2) -> rule1))]
("Erin" "is" "kind" "-")
((triple2) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "kind" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not smart.
Unknown
inv-random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Charlie is rough.[(triple1)] Erin is round.[(triple2)] Fiona is cold.[(triple3)] Gary is rough.[(triple4)] @1: Erin is kind.[(((triple2) -> rule1))]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
((triple2) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1