Anne is furry. Anne is white. Charlie is round. Erin is round. Fiona is kind. Fiona is round. Fiona is smart. Round things are smart. If something is furry and not round then it is smart.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Round things are smart.
((("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
If something is furry and not round then it is smart.
((("something" "is" "furry" "+") ("something" "is" "round" "~")) -> ("something" "is" "smart" "+"))
Charlie is round.
True
1
proof
[(triple3)]
("Charlie" "is" "round" "+")
triple3
Fiona is not smart.
False
1
inv-proof
[(triple7 OR ((triple6) -> rule1))]
("Fiona" "is" "smart" "-")
triple7
((triple6) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Erin is smart.
True
2
proof
[(((triple4) -> rule1))]
("Erin" "is" "smart" "+")
((triple4) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Charlie is not smart.
False
2
inv-proof
[(((triple3) -> rule1))]
("Charlie" "is" "smart" "-")
((triple3) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "smart" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is furry.[(triple1)] Anne is white.[(triple2)] Charlie is round.[(triple3)] Erin is round.[(triple4)] Fiona is kind.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7 OR ((triple6) -> rule1))] @1: Charlie is smart.[(((triple3) -> rule1))] Erin is smart.[(((triple4) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Erin is round.
("Erin" "is" "round" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
((triple6) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple3) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple4) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1