Bob is red. Charlie is nice. Fiona is rough. Gary is rough. Red things are rough. All rough, cold things are red. All kind things are cold.
Bob is red.
("Bob" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Red things are rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
All rough, cold things are red.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
All kind things are cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
Bob is red.
True
1
proof
[(triple1)]
("Bob" "is" "red" "+")
triple1
Bob is not red.
False
1
inv-proof
[(triple1)]
("Bob" "is" "red" "-")
triple1
Bob is rough.
True
2
proof
[(((triple1) -> rule1))]
("Bob" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
2
inv-proof
[(((triple1) -> rule1))]
("Bob" "is" "rough" "-")
((triple1) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Gary is not red.
Unknown
inv-rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Gary" "is" "red" "-")
Fiona is red.
Unknown
rconc
[@2: Fiona is red.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Fiona" "is" "red" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Bob is red.[(triple1)] Charlie is nice.[(triple2)] Fiona is rough.[(triple3)] Gary is rough.[(triple4)] @1: Bob is rough.[(((triple1) -> rule1))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1