Erin is furry. Fiona is blue. Harry is furry. All blue, nice things are cold. Quiet things are cold. Furry things are not blue. Blue things are quiet. Rough things are quiet. Quiet, blue things are nice. Quiet, young things are nice. Nice, quiet things are not furry.
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
All blue, nice things are cold.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
Quiet things are cold.
((("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
Furry things are not blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "-"))
Blue things are quiet.
((("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
Rough things are quiet.
((("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
Quiet, blue things are nice.
((("something" "is" "quiet" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
Quiet, young things are nice.
((("something" "is" "quiet" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
Nice, quiet things are not furry.
((("something" "is" "nice" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "furry" "-"))
Erin is furry.
True
1
proof
[(triple1)]
("Erin" "is" "furry" "+")
triple1
Erin is not furry.
False
1
inv-proof
[(triple1)]
("Erin" "is" "furry" "-")
triple1
Harry is not blue.
True
2
proof
[(((triple3) -> rule3))]
("Harry" "is" "blue" "-")
((triple3) -> (rule3 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple2) -> rule4))]
("Fiona" "is" "quiet" "-")
((triple2) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
True
3
proof
[(((((triple2) -> rule4)) -> rule2) OR ((triple2 ((((triple2) -> rule4) triple2) -> rule6)) -> rule1))]
("Fiona" "is" "cold" "+")
((((triple2) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((triple2 ((((triple2) -> (rule4 % int3)) triple2) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is not nice.
False
4
inv-proof
[(((((triple2) -> rule4) triple2) -> rule6))]
("Fiona" "is" "nice" "-")
((((triple2) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not furry.
True
7
proof
[(((((((triple2) -> rule4) triple2) -> rule6) ((triple2) -> rule4)) -> rule8))]
("Fiona" "is" "furry" "-")
((((((triple2) -> (rule4 % int3)) triple2) -> (rule6 % int2)) ((triple2) -> (rule4 % int3))) -> (rule8 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is furry.
False
7
inv-proof
[(((((((triple2) -> rule4) triple2) -> rule6) ((triple2) -> rule4)) -> rule8))]
("Fiona" "is" "furry" "+")
((((((triple2) -> (rule4 % int3)) triple2) -> (rule6 % int2)) ((triple2) -> (rule4 % int3))) -> (rule8 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Erin is not cold.
Unknown
inv-rconc
[@2: Erin is cold.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Erin" "is" "cold" "-")
Erin is quiet.
Unknown
rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "quiet" "+")
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "nice" "-")
Harry is cold.
Unknown
rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Harry" "is" "cold" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Erin is furry.[(triple1)] Fiona is blue.[(triple2)] Harry is furry.[(triple3)] @1: Erin is not blue.[(((triple1) -> rule3))] Fiona is quiet.[(((triple2) -> rule4))] Harry is not blue.[(((triple3) -> rule3))] @2: Fiona is cold.[(((((triple2) -> rule4)) -> rule2) OR ((triple2 ((((triple2) -> rule4) triple2) -> rule6)) -> rule1))] Fiona is nice.[(((((triple2) -> rule4) triple2) -> rule6))] @3: Fiona is not furry.[(((((((triple2) -> rule4) triple2) -> rule6) ((triple2) -> rule4)) -> rule8))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Harry is furry.
("Harry" "is" "furry" "+")
triple3
Erin is not blue.
("Erin" "is" "blue" "-")
((triple1) -> (rule3 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple2) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Harry is not blue.
("Harry" "is" "blue" "-")
((triple3) -> (rule3 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple2) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((triple2 ((((triple2) -> (rule4 % int3)) triple2) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple2) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not furry.
("Fiona" "is" "furry" "-")
((((((triple2) -> (rule4 % int3)) triple2) -> (rule6 % int2)) ((triple2) -> (rule4 % int3))) -> (rule8 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3