Anne is young. Bob is smart. Erin is white. Fiona is smart. If someone is white then they are nice. All nice people are not quiet. If someone is furry and not quiet then they are kind.
Anne is young.
("Anne" "is" "young" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If someone is white then they are nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
All nice people are not quiet.
((("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "-"))
If someone is furry and not quiet then they are kind.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "kind" "+"))
Anne is young.
True
1
proof
[(triple1)]
("Anne" "is" "young" "+")
triple1
Bob is not smart.
False
1
inv-proof
[(triple2)]
("Bob" "is" "smart" "-")
triple2
Erin is nice.
True
2
proof
[(((triple3) -> rule1))]
("Erin" "is" "nice" "+")
((triple3) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not nice.
False
2
inv-proof
[(((triple3) -> rule1))]
("Erin" "is" "nice" "-")
((triple3) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not quiet.
True
3
proof
[(((((triple3) -> rule1)) -> rule2))]
("Erin" "is" "quiet" "-")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is quiet.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule2))]
("Erin" "is" "quiet" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is nice.
Unknown
rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "nice" "+")
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Anne is young.[(triple1)] Bob is smart.[(triple2)] Erin is white.[(triple3)] Fiona is smart.[(triple4)] @1: Erin is nice.[(((triple3) -> rule1))] @2: Erin is not quiet.[(((((triple3) -> rule1)) -> rule2))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
((triple3) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not quiet.
("Erin" "is" "quiet" "-")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2