Anne is furry. Anne is quiet. Anne is not rough. Erin is green. Erin is quiet. Fiona is not furry. Fiona is not nice. Fiona is quiet. Fiona is rough. Harry is kind. If someone is smart then they are kind. All quiet, kind people are nice. If someone is furry and nice then they are green. If someone is smart then they are green. If someone is nice then they are green. All green people are smart.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is smart then they are kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
All quiet, kind people are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is furry and nice then they are green.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is smart then they are green.
((("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
All green people are smart.
((("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
Fiona is not nice.
True
1
proof
[(triple7)]
("Fiona" "is" "nice" "-")
triple7
Erin is not quiet.
False
1
inv-proof
[(triple5)]
("Erin" "is" "quiet" "-")
triple5
Erin is smart.
True
2
proof
[(((triple4) -> rule6))]
("Erin" "is" "smart" "+")
((triple4) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not smart.
False
2
inv-proof
[(((triple4) -> rule6))]
("Erin" "is" "smart" "-")
((triple4) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is kind.
True
3
proof
[(((((triple4) -> rule6)) -> rule1))]
("Erin" "is" "kind" "+")
((((triple4) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is not kind.
False
3
inv-proof
[(((((triple4) -> rule6)) -> rule1))]
("Erin" "is" "kind" "-")
((((triple4) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is nice.
True
5
proof
[(((triple5 ((((triple4) -> rule6)) -> rule1)) -> rule2))]
("Erin" "is" "nice" "+")
((triple5 ((((triple4) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is not nice.
False
5
inv-proof
[(((triple5 ((((triple4) -> rule6)) -> rule1)) -> rule2))]
("Erin" "is" "nice" "-")
((triple5 ((((triple4) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Harry is not green.
Unknown
inv-rconc
[@4: Harry is green.[CWA. Example of deepest failure = (rule4 <- rule6 <- rule5 <- rule2 <- FAIL)]]
("Harry" "is" "green" "-")
Fiona is green.
Unknown
rconc
[@3: Fiona is green.[CWA. Example of deepest failure = (rule4 <- rule6 <- rule3 <- FAIL)]]
("Fiona" "is" "green" "+")
Anne is not kind.
Unknown
inv-rconc
[@4: Anne is kind.[CWA. Example of deepest failure = (rule1 <- rule6 <- rule3 <- rule2 <- FAIL)]]
("Anne" "is" "kind" "-")
Fiona is kind.
Unknown
rconc
[@3: Fiona is kind.[CWA. Example of deepest failure = (rule1 <- rule6 <- rule3 <- FAIL)]]
("Fiona" "is" "kind" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Anne is not rough.[(triple3)] Anne is quiet.[(triple2)] Erin is green.[(triple4)] Erin is quiet.[(triple5)] Fiona is not furry.[(triple6)] Fiona is not nice.[(triple7)] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9)] Harry is kind.[(triple10)] @1: Erin is smart.[(((triple4) -> rule6))] @2: Erin is kind.[(((((triple4) -> rule6)) -> rule1))] @3: Erin is nice.[(((triple5 ((((triple4) -> rule6)) -> rule1)) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is not rough.
("Anne" "is" "rough" "-")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple6
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Erin is smart.
("Erin" "is" "smart" "+")
((triple4) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((((triple4) -> (rule6 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
((triple5 ((((triple4) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3