Anne is cold. Bob is young. Fiona is kind. Gary is kind. If something is big and young then it is green. All young things are white.
Anne is cold.
("Anne" "is" "cold" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If something is big and young then it is green.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
All young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
Gary is kind.
True
1
proof
[(triple4)]
("Gary" "is" "kind" "+")
triple4
Gary is not kind.
False
1
inv-proof
[(triple4)]
("Gary" "is" "kind" "-")
triple4
Bob is white.
True
2
proof
[(((triple2) -> rule2))]
("Bob" "is" "white" "+")
((triple2) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is not white.
False
2
inv-proof
[(((triple2) -> rule2))]
("Bob" "is" "white" "-")
((triple2) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "green" "-")
Anne is green.
Unknown
rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "green" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Anne is cold.[(triple1)] Bob is young.[(triple2)] Fiona is kind.[(triple3)] Gary is kind.[(triple4)] @1: Bob is white.[(((triple2) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
((triple2) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1