Charlie is not quiet. Erin is white. Fiona is nice. White things are young. If something is quiet and not big then it is white.
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Erin is white.
("Erin" "is" "white" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
White things are young.
((("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
If something is quiet and not big then it is white.
((("something" "is" "quiet" "+") ("something" "is" "big" "~")) -> ("something" "is" "white" "+"))
Fiona is nice.
True
1
proof
[(triple3)]
("Fiona" "is" "nice" "+")
triple3
Charlie is quiet.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "quiet" "+")
triple1
Erin is young.
True
2
proof
[(((triple2) -> rule1))]
("Erin" "is" "young" "+")
((triple2) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple2) -> rule1))]
("Erin" "is" "young" "-")
((triple2) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is not young.
Unknown
inv-rconc
[@2: Fiona is young.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Fiona" "is" "young" "-")
Charlie is young.
Unknown
rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "young" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Charlie is not quiet.[(triple1)] Erin is white.[(triple2)] Fiona is nice.[(triple3)] @1: Erin is young.[(((triple2) -> rule1))]
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple1
Erin is white.
("Erin" "is" "white" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
((triple2) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1