Anne is quiet. Charlie is quiet. Fiona is young. Gary is cold. If someone is cold then they are young. If someone is nice then they are cold. All cold people are young.
Anne is quiet.
("Anne" "is" "quiet" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
All cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Charlie is quiet.
True
1
proof
[(triple2)]
("Charlie" "is" "quiet" "+")
triple2
Charlie is not quiet.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "quiet" "-")
triple2
Gary is young.
True
2
proof
[(((triple4) -> rule1) OR ((triple4) -> rule3))]
("Gary" "is" "young" "+")
((triple4) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple4) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple4) -> rule1) OR ((triple4) -> rule3))]
("Gary" "is" "young" "-")
((triple4) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple4) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "cold" "-")
Anne is young.
Unknown
rconc
[@2: Anne is young.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Anne" "is" "young" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Anne is quiet.[(triple1)] Charlie is quiet.[(triple2)] Fiona is young.[(triple3)] Gary is cold.[(triple4)] @1: Gary is young.[(((triple4) -> rule1) OR ((triple4) -> rule3))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple4
Gary is young.
("Gary" "is" "young" "+")
((triple4) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple4) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1