Anne is young. Bob is rough. Erin is quiet. Erin is round. Erin is not smart. Fiona is furry. Fiona is green. All round things are young. If Erin is furry and Erin is round then Erin is smart. Round, young things are green. If Erin is smart and Erin is not green then Erin is rough. If something is round and not smart then it is rough. If something is furry and not smart then it is rough. All furry things are quiet. If something is rough and not furry then it is not quiet.
Anne is young.
("Anne" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
All round things are young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
If Erin is furry and Erin is round then Erin is smart.
((("Erin" "is" "furry" "+") ("Erin" "is" "round" "+")) -> ("Erin" "is" "smart" "+"))
Round, young things are green.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
If Erin is smart and Erin is not green then Erin is rough.
((("Erin" "is" "smart" "+") ("Erin" "is" "green" "~")) -> ("Erin" "is" "rough" "+"))
If something is round and not smart then it is rough.
((("something" "is" "round" "+") ("something" "is" "smart" "~")) -> ("something" "is" "rough" "+"))
If something is furry and not smart then it is rough.
((("something" "is" "furry" "+") ("something" "is" "smart" "~")) -> ("something" "is" "rough" "+"))
All furry things are quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
If something is rough and not furry then it is not quiet.
((("something" "is" "rough" "+") ("something" "is" "furry" "~")) -> ("something" "is" "quiet" "-"))
Anne is young.
True
1
proof
[(triple1)]
("Anne" "is" "young" "+")
triple1
Anne is not young.
False
1
inv-proof
[(triple1)]
("Anne" "is" "young" "-")
triple1
Erin is rough.
True
3
proof
[(((triple4 triple5) -> rule5))]
("Erin" "is" "rough" "+")
((triple4 triple5) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple6) -> rule7))]
("Fiona" "is" "quiet" "-")
((triple6) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Erin is green.
True
4
proof
[(((triple4 ((triple4) -> rule1)) -> rule3))]
("Erin" "is" "green" "+")
((triple4 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is not green.
False
4
inv-proof
[(((triple4 ((triple4) -> rule1)) -> rule3))]
("Erin" "is" "green" "-")
((triple4 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "quiet" "-")
Fiona is young.
Unknown
rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "young" "+")
Anne is not rough.
Unknown
inv-rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "rough" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is young.[(triple1)] Bob is rough.[(triple2)] Erin is not smart.[(triple5)] Erin is quiet.[(triple3)] Erin is round.[(triple4)] Fiona is furry.[(triple6)] Fiona is green.[(triple7)] @1: Erin is rough.[(((triple4 triple5) -> rule5))] Erin is young.[(((triple4) -> rule1))] Fiona is quiet.[(((triple6) -> rule7))] @2: Erin is green.[(((triple4 ((triple4) -> rule1)) -> rule3))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Erin is not smart.
("Erin" "is" "smart" "-")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is round.
("Erin" "is" "round" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
((triple4 triple5) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple4) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple6) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple4 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2