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