Charlie is cold. Erin is young. Gary is white. Cold people are smart. All white, nice people are smart. Smart people are cold. If Charlie is young and Charlie is cold then Charlie is rough. Rough, white people are cold. If someone is cold then they are rough. If Gary is rough then Gary is nice. Rough people are young.
Charlie is cold.
("Charlie" "is" "cold" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is white.
("Gary" "is" "white" "+")
Cold people are smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
All white, nice people are smart.
((("someone" "is" "white" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
Smart people are cold.
((("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
If Charlie is young and Charlie is cold then Charlie is rough.
((("Charlie" "is" "young" "+") ("Charlie" "is" "cold" "+")) -> ("Charlie" "is" "rough" "+"))
Rough, white people are cold.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold then they are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If Gary is rough then Gary is nice.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "nice" "+"))
Rough people are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Gary is white.
True
1
proof
[(triple3)]
("Gary" "is" "white" "+")
triple3
Gary is not white.
False
1
inv-proof
[(triple3)]
("Gary" "is" "white" "-")
triple3
Charlie is rough.
True
2
proof
[(((triple1) -> rule6))]
("Charlie" "is" "rough" "+")
((triple1) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not smart.
False
2
inv-proof
[(((triple1) -> rule1))]
("Charlie" "is" "smart" "-")
((triple1) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Gary is not rough.
Unknown
inv-rconc
[@4: Gary is rough.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule1 <- rule5 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is cold.
Unknown
rconc
[@5: Gary is cold.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule7 <- rule6 <- rule5 <- FAIL)]]
("Gary" "is" "cold" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Charlie is cold.[(triple1)] Erin is young.[(triple2)] Gary is white.[(triple3)] @1: Charlie is rough.[(((triple1) -> rule6))] Charlie is smart.[(((triple1) -> rule1))] @2: Charlie is young.[(((((triple1) -> rule6)) -> rule8))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Erin is young.
("Erin" "is" "young" "+")
triple2
Gary is white.
("Gary" "is" "white" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple1) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple1) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2